ampl: 
Presolve eliminates 2552 constraints and 669634 variables.
Adjusted problem:
73937 variables:
	1456 binary variables
	72472 integer variables
	9 linear variables
10797 constraints, all linear; 667601 nonzeros
	2425 equality constraints
	8372 inequality constraints
1 linear objective; 5 nonzeros.

CPLEX 20.1.0.0: timelimit=7200
outlev=1
mipdisplay=2
MIP Presolve eliminated 6 rows and 5 columns.
MIP Presolve modified 104 coefficients.
Reduced MIP has 9949 rows, 73090 columns, and 664716 nonzeros.
Reduced MIP has 1456 binaries, 71630 generals, 0 SOSs, and 0 indicators.
Detecting symmetries...
Reduced MIP has 9949 rows, 73090 columns, and 664716 nonzeros.
Reduced MIP has 1456 binaries, 71630 generals, 0 SOSs, and 0 indicators.
Probing fixed 0 vars, tightened 308 bounds.
Probing time = 0.11 sec. (61.82 ticks)
Cover probing fixed 0 vars, tightened 602 bounds.
Clique table members: 104.
MIP emphasis: balance optimality and feasibility.
MIP search method: dynamic search.
Parallel mode: deterministic, using up to 8 threads.
Root relaxation solution time = 2.27 sec. (1829.53 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap

      0     0     3080.9677  1134                   3080.9677       38         
*     0+    0                      7114322.8224     3080.9677            99.96%
*     0+    0                      7114263.8220     3080.9677            99.96%
      0     0     3080.9680  1137  7114263.8220     Cuts: 253     1161   99.96%
      0     0     3080.9680  1145  7114263.8220     Cuts: 250     2063   99.96%
      0     2     3080.9680   968  7114263.8220     3080.9680     2063   99.96%
Elapsed time = 29.73 sec. (41033.28 ticks, tree = 0.02 MB)
      2     4     3080.9680  1000  7114263.8220     3080.9680     2185   99.96%
      9    11     3080.9680   988  7114263.8220     3080.9680     2269   99.96%
     15    17     3080.9680   990  7114263.8220     3080.9680     2320   99.96%
     23    25     3080.9680   969  7114263.8220     3080.9680     2349   99.96%
     30     3     3080.9684  1005  7114263.8220     3080.9680     3306   99.96%
     39    41     3080.9684  1006  7114263.8220     3080.9680     4827   99.96%
     48    34     3080.9685  1084  7114263.8220     3080.9680     4956   99.96%
     49     5     3080.9685  1085  7114263.8220     3080.9680     3660   99.96%
     50    50     3080.9685  1091  7114263.8220     3080.9680     5386   99.96%
     53    54     3080.9685  1054  7114263.8220     3080.9680     8337   99.96%
Elapsed time = 54.86 sec. (47286.11 ticks, tree = 0.81 MB)
     55    57     3080.9685  1053  7114263.8220     3080.9680    10435   99.96%
     61    63     3080.9687  1116  7114263.8220     3080.9680    11483   99.96%
     84     8     3080.9788  1102  7114263.8220     3080.9680     6488   99.96%
     89    90     3080.9687  1067  7114263.8220     3080.9680    20481   99.96%
     98    93     3080.9756  1137  7114263.8220     3080.9680    24738   99.96%
     99     9     3080.9756  1077  7114263.8220     3080.9680     9747   99.96%
    101    97     3080.9822   990  7114263.8220     3080.9680    41257   99.96%
    102    94     3080.9795   992  7114263.8220     3080.9680    31724   99.96%
    106   107     3080.9686  1010  7114263.8220     3080.9680    67356   99.96%
    110    95     3080.9775  1126  7114263.8220     3080.9680    37411   99.96%
Elapsed time = 97.55 sec. (63360.49 ticks, tree = 2.53 MB)
    120    78     3080.9819  1032  7114263.8220     3080.9680    22890   99.96%
    123   112     3080.9745  1056  7114263.8220     3080.9680    80322   99.96%
    125   110     3080.9749   997  7114263.8220     3080.9680    70632   99.96%
    131   118     3080.9795   953  7114263.8220     3080.9680    94427   99.96%
    134   118     3080.9749  1004  7114263.8220     3080.9680    91695   99.96%
    136   105     3080.9785  1072  7114263.8220     3080.9680    67428   99.96%
    157   119     3080.9749   952  7114263.8220     3080.9680    92903   99.96%
    164   119     3080.9795   982  7114263.8220     3080.9680    96822   99.96%
    169   116     3080.9686  1023  7114263.8220     3080.9680    67855   99.96%
    191   135     3080.9745   939  7114263.8220     3080.9680   131388   99.96%
Elapsed time = 136.64 sec. (76310.29 ticks, tree = 3.33 MB)
    193   131     3080.9834  1092  7114263.8220     3080.9680   126042   99.96%
    196   132     3080.9795  1088  7114263.8220     3080.9680   128743   99.96%
    208   181     3080.9890   917  7114263.8220     3080.9680   152831   99.96%
    213   185     3080.9890   894  7114263.8220     3080.9680   153090   99.96%
    220   181     3080.9822  1142  7114263.8220     3080.9680   155449   99.96%
    229   179     3080.9945   924  7114263.8220     3080.9680   150702   99.96%
    232   166     3080.9804  1037  7114263.8220     3080.9680   138136   99.96%
    238   180     3080.9945   960  7114263.8220     3080.9680   150759   99.96%
    241   208     3080.9785   839  7114263.8220     3080.9680   163997   99.96%
    244   173     3080.9916   895  7114263.8220     3080.9680   148312   99.96%
Elapsed time = 177.59 sec. (89906.27 ticks, tree = 4.63 MB)
    247   214     3080.9795   907  7114263.8220     3080.9680   168161   99.96%
    251   215     3080.9795   893  7114263.8220     3080.9680   168660   99.96%
    254   219     3080.9916   984  7114263.8220     3080.9680   170141   99.96%
    257   222     3080.9916   793  7114263.8220     3080.9680   170820   99.96%
    272   244     3080.9822  1106  7114263.8220     3080.9680   178704   99.96%
    274   255     3080.9916   771  7114263.8220     3080.9680   182059   99.96%
    275   221     3081.0111   902  7114263.8220     3080.9680   177012   99.96%
    277   245     3080.9822   924  7114263.8220     3080.9680   181169   99.96%
    281   249     3080.9822   942  7114263.8220     3080.9680   181870   99.96%
    283   262     3080.9889  1028  7114263.8220     3080.9680   190690   99.96%
Elapsed time = 219.00 sec. (103538.56 ticks, tree = 10.75 MB)
    288   271     3080.9786   890  7114263.8220     3080.9680   192652   99.96%
    292   262     3080.9822   894  7114263.8220     3080.9680   186378   99.96%
    295   263     3080.9889  1087  7114263.8220     3080.9680   192559   99.96%
    297   275     3081.0103   859  7114263.8220     3080.9680   198669   99.96%
    300   278     3081.0103   826  7114263.8220     3080.9680   199816   99.96%
    310   273     3080.9920  1104  7114263.8220     3080.9680   196566   99.96%
    315   291     3080.9745   866  7114263.8220     3080.9680   211055   99.96%
    327   292     3080.9745  1034  7114263.8220     3080.9680   211448   99.96%
    329   290     3080.9853   976  7114263.8220     3080.9680   216145   99.96%
    345   289     3081.0103   808  7114263.8220     3080.9680   209751   99.96%
Elapsed time = 258.02 sec. (117067.50 ticks, tree = 13.82 MB)
    368   293     3080.9834   944  7114263.8220     3080.9680   213089   99.96%
    381   321     3080.9863   931  7114263.8220     3080.9680   233088   99.96%
    387   326     3080.9863   836  7114263.8220     3080.9680   233621   99.96%
    399   340     3081.0111   879  7114263.8220     3080.9680   236250   99.96%
    411   348     3081.0111   860  7114263.8220     3080.9680   236705   99.96%
    424   303     3080.9821   969  7114263.8220     3080.9680   230152   99.96%
    475   381     3080.9821   947  7114263.8220     3080.9680   249819   99.96%
    502   370     3080.9789   769  7114263.8220     3080.9680   243046   99.96%
    540   415     3080.9863   886  7114263.8220     3080.9680   257222   99.96%
    553   402     3081.0204   591  7114263.8220     3080.9680   254475   99.96%
Elapsed time = 294.02 sec. (127825.19 ticks, tree = 26.79 MB)
    581   403     3081.0115   911  7114263.8220     3080.9680   238289   99.96%
    612   387     3080.9883   644  7114263.8220     3080.9680   245069   99.96%
    618   407     3081.0204   560  7114263.8220     3080.9680   255954   99.96%
    628   412     3081.0204   572  7114263.8220     3080.9680   256631   99.96%
    635   501     3081.0115   864  7114263.8220     3080.9680   261473   99.96%
    647   428     3080.9961   811  7114263.8220     3080.9680   260904   99.96%
    664   354     3081.0159   823  7114263.8220     3080.9680   251875   99.96%
    678   613     3080.9883   596  7114263.8220     3080.9680   275301   99.96%
    686   573     3081.0086   804  7114263.8220     3080.9680   270857   99.96%
    694   520     3081.0204   492  7114263.8220     3080.9680   267395   99.96%
Elapsed time = 326.91 sec. (138736.93 ticks, tree = 42.59 MB)
    703   580     3081.0086   826  7114263.8220     3080.9680   271946   99.96%
    711   641     3080.9897   921  7114263.8220     3080.9680   286640   99.96%
    715   651     3081.0204   434  7114263.8220     3080.9680   290602   99.96%
    719   642     3081.0098   920  7114263.8220     3080.9680   287970   99.96%
    726   690     3080.9883   671  7114263.8220     3080.9680   299817   99.96%
    733   679     3081.0146   413  7114263.8220     3080.9680   295906   99.96%
    751   660     3081.0204   412  7114263.8220     3080.9680   292924   99.96%
    770   715     3081.0117   847  7114263.8220     3080.9680   309840   99.96%
    772   686     3081.0214   731  7114263.8220     3080.9680   297796   99.96%
    791   718     3081.0117   797  7114263.8220     3080.9680   310911   99.96%
Elapsed time = 361.89 sec. (151065.68 ticks, tree = 65.61 MB)
    801   694     3080.9891   745  7114263.8220     3080.9680   303845   99.96%
    804   672     3081.0204   501  7114263.8220     3080.9680   296230   99.96%
    809   719     3081.0237   620  7114263.8220     3080.9680   317211   99.96%
    821   716     3081.0156   900  7114263.8220     3080.9680   323779   99.96%
    828   774     3081.0207   514  7114263.8220     3080.9680   333829   99.96%
    833   747     3081.0204   433  7114263.8220     3080.9680   330809   99.96%
    857   752     3081.0204   441  7114263.8220     3080.9680   331289   99.96%
    862   786     3080.9970   430  7114263.8220     3080.9680   341763   99.96%
    869   788     3080.9970   522  7114263.8220     3080.9680   342464   99.96%
    884   762     3081.0204   519  7114263.8220     3080.9680   334727   99.96%
Elapsed time = 404.69 sec. (165120.30 ticks, tree = 72.03 MB)
    918   878     3081.0146   337  7114263.8220     3080.9680   379078   99.96%
    962   899     3081.0146   603  7114263.8220     3080.9680   380859   99.96%
    969   734     3080.9905   853  7114263.8220     3080.9680   325504   99.96%
   1007   878     3080.9825   981  7114263.8220     3080.9680   393867   99.96%
   1048   947     3081.0126   706  7114263.8220     3080.9680   398064   99.96%
   1088   941     3081.0157   341  7114263.8220     3080.9680   405942   99.96%
   1099   985     3081.0056   547  7114263.8220     3080.9680   434853   99.96%
   1130   984     3081.2150   824  7114263.8220     3080.9680   425578   99.96%
   1171  1094     3081.0248   238  7114263.8220     3080.9680   474014   99.96%
   1227  1101     3081.0204   397  7114263.8220     3080.9680   467262   99.96%
Elapsed time = 530.69 sec. (206782.00 ticks, tree = 119.28 MB)
   1257  1085     3081.0043   254  7114263.8220     3080.9680   459979   99.96%
   1289  1129     3080.9975   858  7114263.8220     3080.9680   499121   99.96%
   1318  1222     3080.9998   778  7114263.8220     3080.9680   520503   99.96%
   1360  1279     3082.2592   246  7114263.8220     3080.9680   553616   99.96%
   1410  1243     3081.0204   449  7114263.8220     3080.9680   534077   99.96%
   1453  1349     3081.0043   292  7114263.8220     3080.9680   585168   99.96%
   1497  1374     3081.0059   449  7114263.8220     3080.9680   606860   99.96%
   1518  1363     3081.0204   411  7114263.8220     3080.9680   600957   99.96%
   1550  1485     3081.0248   303  7114263.8220     3080.9680   651244   99.96%
   1579  1384     3081.0205   494  7114263.8220     3080.9680   605059   99.96%
Elapsed time = 653.73 sec. (248224.66 ticks, tree = 162.82 MB)
   1617  1413     3082.3033   856  7114263.8220     3080.9680   623718   99.96%
   1638  1583     3081.0248   150  7114263.8220     3080.9680   695810   99.96%
   1661  1588     3081.0248   231  7114263.8220     3080.9680   697787   99.96%
   1703  1592     3081.0248   191  7114263.8220     3080.9680   699726   99.96%
*  1706+ 1615                         6852.6606     3080.9680            55.04%
*  1709+ 1639                         6115.4396     3080.9680            49.62%
*  1714+ 1639                         6101.5348     3080.9680            49.51%
*  1716+ 1639                         6048.9960     3080.9680            49.07%
*  1716+ 1639                         6043.9397     3080.9680            49.02%
   1722  1620     3081.0043   286     6043.9397     3080.9680   716556   49.02%
*  1724+ 1639                         5945.7612     3080.9680            48.18%
   1729  1702     3080.9680  1105     5945.7612     3080.9680   765217   48.18%
   1745  1678     3080.9759   935     5945.7612     3080.9680   760098   48.18%
   1751  1679     3080.9748  1046     5945.7612     3080.9680   762288   48.18%
   1766  1739     3081.2025   882     5945.7612     3080.9680   798505   48.18%
   1772  1680     3080.9910  1057     5945.7612     3080.9680   766162   48.18%
Elapsed time = 763.44 sec. (289760.05 ticks, tree = 216.40 MB)
   1779  1749     3080.9759   776     5945.7612     3080.9680   802740   48.18%
   1784  1742     3081.2286   798     5945.7612     3080.9680   807818   48.18%

Performing restart 1

Repeating presolve.
MIP Presolve modified 504042 coefficients.
Reduced MIP has 9949 rows, 73090 columns, and 347854 nonzeros.
Reduced MIP has 1456 binaries, 71630 generals, 0 SOSs, and 0 indicators.
MIP Presolve modified 10101 coefficients.
Reduced MIP has 9949 rows, 73090 columns, and 347854 nonzeros.
Reduced MIP has 1456 binaries, 71630 generals, 0 SOSs, and 0 indicators.
Represolve time = 0.73 sec. (734.36 ticks)
   1785     0     3080.9680  1046     5945.7612     Cuts: 527   925016   48.18%
   1785     0     3080.9680  1252     5945.7612     Cuts: 761   926453   48.18%
*  1785+    0                         5890.0035     3080.9680            47.69%
   1785     0     3080.9680  1096     5890.0035     Cuts: 617   927563   47.69%
   1785     0     3080.9680  1276     5890.0035     Cuts: 913   928886   47.69%
   1785     0     3080.9680  1073     5890.0035     Cuts: 570   929711   47.69%
   1785     0     3080.9680  1362     5890.0035     Cuts: 908   931073   47.69%
   1785     0     3080.9680  1301     5890.0035     Cuts: 623   933082   47.69%
   1785     0     3080.9680  1633     5890.0035    Cuts: 1073   938476   47.69%
*  1785+    0                         5191.5488     3080.9680            40.65%
   1785     0  -1.00000e+75     0     5191.5488     3080.9680   938476   40.65%
   1785     2     3080.9680   920     5191.5488     3080.9680   938476   40.65%
*  1786+    1                         5188.1755     3080.9680            40.62%
   1786     3     3080.9718   952     5188.1755     3080.9680   941746   40.62%
   1787     4     3080.9747  1044     5188.1755     3080.9680   945206   40.62%
*  1789+    2                         5186.4909     3080.9680            40.60%
*  1789+    3                         5169.5676     3080.9680            40.40%
   1789     6     3080.9747   973     5169.5676     3080.9680   949978   40.40%
*  1792+    4                         5142.4922     3080.9687            40.09%
   1792     8     3080.9722   894     5142.4922     3080.9687   959517   40.09%
   1801    16     3080.9697  1068     5142.4922     3080.9690   983425   40.09%
   1806    20     3080.9732   966     5142.4922     3080.9690   988662   40.09%
   1824    31     3080.9755   960     5142.4922     3080.9690  1002155   40.09%
Elapsed time = 1003.11 sec. (590822.71 ticks, tree = 0.64 MB)
   1830    40     3080.9748   927     5142.4922     3080.9690  1014263   40.09%
   1838    49     3080.9758   937     5142.4922     3080.9690  1024629   40.09%
   1854    63     3080.9824   918     5142.4922     3080.9690  1049590   40.09%
   1864    49     3080.9729   993     5142.4922     3080.9690  1031448   40.09%
   1875    83     3080.9908  1087     5142.4922     3080.9690  1076483   40.09%
   1890    86     3080.9908  1077     5142.4922     3080.9690  1078999   40.09%
   1916   105     3080.9870   625     5142.4922     3080.9690  1097847   40.09%
   1954   136     3080.9870   506     5142.4922     3080.9690  1129642   40.09%
   1993   122     3080.9753   882     5142.4922     3080.9690  1128059   40.09%
   2034   216     3080.9826   998     5142.4922     3080.9690  1174421   40.09%
Elapsed time = 1119.11 sec. (630520.49 ticks, tree = 10.22 MB)
   2103   215     3080.9914   865     5142.4922     3080.9690  1175530   40.09%
   2144   288     3080.9838   690     5142.4922     3080.9690  1191138   40.09%
   2194   326     3080.9870   512     5142.4922     3080.9690  1211423   40.09%
   2231   328     3080.9912   847     5142.4922     3080.9690  1223179   40.09%
   2276   365     3080.9851   234     5142.4922     3080.9690  1242606   40.09%
   2321   461     3080.9848   822     5142.4922     3080.9690  1284399   40.09%
   2380   467     3080.9848   746     5142.4922     3080.9690  1286731   40.09%
   2422   519     3080.9875   299     5142.4922     3080.9690  1312459   40.09%
   2470   605     3080.9889   714     5142.4922     3080.9690  1351687   40.09%
   2504   638     3080.9850   434     5142.4922     3080.9690  1365895   40.09%
Elapsed time = 1251.81 sec. (669638.01 ticks, tree = 49.12 MB)
   2525   666     3080.9998   797     5142.4922     3080.9690  1383644   40.09%
   2540   675     3081.0018   952     5142.4922     3080.9690  1393970   40.09%
   2555   711     3080.9930   716     5142.4922     3080.9690  1403084   40.09%
   2575   694     3080.9879   671     5142.4922     3080.9690  1395624   40.09%
   2587   714     3080.9890   679     5142.4922     3080.9690  1405668   40.09%
   2602   719     3080.9840   568     5142.4922     3080.9690  1408519   40.09%
   2623   766     3080.9895   624     5142.4922     3080.9690  1408454   40.09%
   2645   761     3081.0167   809     5142.4922     3080.9690  1410494   40.09%
   2687   785     3080.9917   534     5142.4922     3080.9690  1413165   40.09%
   2755   786     3081.0197   654     5142.4922     3080.9690  1413655   40.09%
Elapsed time = 1514.25 sec. (742522.27 ticks, tree = 64.47 MB)
   2786   864     3081.0194   528     5142.4922     3080.9690  1446219   40.09%
   2840   828     3081.0028   409     5142.4922     3080.9690  1447339   40.09%
   2909   871     3081.0235   669     5142.4922     3080.9690  1448030   40.09%
   2951   919     3081.0033   725     5142.4922     3080.9690  1472631   40.09%
   2992  1057     3081.0317   656     5142.4922     3080.9690  1513298   40.09%
   3020  1061     3081.0017   840     5142.4922     3080.9690  1518841   40.09%
   3100  1089     3081.0026   620     5142.4922     3080.9690  1530526   40.09%
   3137  1175     3081.1197   877     5142.4922     3080.9690  1566946   40.09%
   3188  1275     3081.0433   365     5142.4922     3080.9690  1587559   40.09%
   3270  1338     3081.0356   483     5142.4922     3080.9690  1614019   40.09%
Elapsed time = 1639.56 sec. (781599.00 ticks, tree = 135.46 MB)
   3325  1359     3081.0059   366     5142.4922     3080.9690  1626896   40.09%
   3373  1405     3081.1279   841     5142.4922     3080.9690  1638050   40.09%
   3433  1424     3081.1284   738     5142.4922     3080.9690  1640553   40.09%
*  3472+ 1354                         4699.6533     3080.9690            34.44%
*  3475+ 1354                         4695.6844     3080.9690            34.39%
*  3477+ 1354                         4695.0631     3080.9690            34.38%
*  3479+ 1492                         4673.0871     3080.9690            34.07%
*  3482+ 1492                         4669.7106     3080.9690            34.02%
*  3482+ 1492                         4567.0306     3080.9690            32.54%
   3483  1543     3081.0491   460     4567.0306     3080.9690  1674538   32.54%
   3566  1593     3081.0059   349     4567.0306     3080.9690  1691876   32.54%
   3601  1535     3081.0673   849     4567.0306     3080.9690  1666547   32.54%
*  3650+ 1622                         4453.0293     3080.9690            30.81%
   3666  1572     3081.0637   349     4453.0293     3080.9690  1680258   30.81%
   3698  1759     3081.0118   583     4453.0293     3080.9690  1740422   30.81%
   3733  1837     3081.0737   664     4453.0293     3080.9690  1758967   30.81%
*  3766+ 1855                         4449.6582     3080.9690            30.76%
*  3768+ 1855                         4447.9735     3080.9690            30.73%
   3783  1870     3081.0075   408     4447.9735     3080.9690  1780332   30.73%
Elapsed time = 1768.67 sec. (820387.13 ticks, tree = 211.10 MB)
   3848  1987     3081.1100   643     4447.9735     3080.9690  1821477   30.73%
*  3880+ 1894                         4436.1773     3080.9690            30.55%
   3893  2027     3081.0663   254     4436.1773     3080.9690  1834924   30.55%
*  3911+ 1991                         4421.0001     3080.9690            30.31%
*  3943+ 1991                         4412.5412     3080.9690            30.18%
*  3943+ 1991                         4405.1752     3080.9690            30.06%
   3966  1882     3081.0277   753     4405.1752     3080.9690  1788250   30.06%
   4039  2037     3081.1697   690     4405.1752     3080.9690  1843016   30.06%
   4093  2102     3081.0984   674     4405.1752     3080.9690  1858473   30.06%
   4153  2119     3081.0504   925     4405.1752     3080.9690  1882288   30.06%
   4285  2207     3081.1475   546     4405.1752     3080.9690  1897246   30.06%
   4321  2211     3081.2048   721     4405.1752     3080.9690  1892211   30.06%
   4348  2323     3081.0255   257     4405.1752     3080.9690  1939888   30.06%
   4373  2347     3080.9932   739     4405.1752     3080.9690  1943390   30.06%
Elapsed time = 1886.70 sec. (859525.06 ticks, tree = 287.71 MB)
   4401  2366     3081.1463   551     4405.1752     3080.9690  1953210   30.06%
   4411  2437     3080.9933   739     4405.1752     3080.9690  1980628   30.06%
   4424  2448     3080.9961   797     4405.1752     3080.9690  1982674   30.06%
   4444  2466     3080.9983   871     4405.1752     3080.9690  1985213   30.06%
*  4458+ 2476                         4400.1179     3080.9690            29.98%
   4460  2053     3081.0760   429     4400.1179     3080.9690  1841135   29.98%
   4503  2453     3081.1598   481     4400.1179     3080.9690  1998531   29.98%
*  4517+ 2534                         4280.9826     3080.9690            28.03%
   4533  2542     3081.1306   675     4280.9826     3080.9690  2026462   28.03%
   4562  2515     3081.0137   546     4280.9826     3080.9690  2003220   28.03%
   4588  2560     3081.1330   673     4280.9826     3080.9690  2029830   28.03%
   4604  2329     3081.1016   709     4280.9826     3080.9690  1913729   28.03%
Elapsed time = 1969.08 sec. (899631.40 ticks, tree = 287.29 MB)
   4637  2727     3081.1545   523     4280.9826     3080.9690  2064027   28.03%
   4682  2748     3081.1579   517     4280.9826     3080.9690  2066945   28.03%
   4730  2776     3081.1634   431     4280.9826     3080.9690  2069791   28.03%
   4771  2811     3081.1080   565     4280.9826     3080.9690  2116132   28.03%
   4835  2793     3081.1365   719     4280.9826     3080.9690  2108591   28.03%
   4882  2807     3081.1376   742     4280.9826     3080.9690  2111307   28.03%
*  4929+ 2933                         4191.8240     3080.9690            26.50%
   4932  2969     3081.2288   555     4191.8240     3080.9690  2172050   26.50%
   4955  2982     3081.2300   608     4191.8240     3080.9690  2175340   26.50%
   4985  3099     3081.1101   557     4191.8240     3080.9690  2192148   26.50%
   5029  3003     3081.2305   593     4191.8240     3080.9690  2181266   26.50%
Elapsed time = 2075.78 sec. (939725.73 ticks, tree = 403.86 MB)
   5065  3115     3081.1104   539     4191.8240     3080.9690  2196185   26.50%
   5100  3158     3081.0595   812     4191.8240     3080.9690  2229536   26.50%
   5132  3315     3081.2589   759     4191.8240     3080.9690  2311970   26.50%
   5179  3291     3081.1641   463     4191.8240     3080.9690  2296933   26.50%
   5195  3319     3081.0663   525     4191.8240     3080.9690  2307749   26.50%
*  5253+ 3334                         4181.7075     3080.9690            26.32%
   5255  3420     3081.1120   571     4181.7075     3080.9690  2361831   26.32%
   5286  3434     3081.1132   496     4181.7075     3080.9690  2362820   26.32%
   5330  3346     3081.2307   569     4181.7075     3080.9690  2332578   26.32%
*  5336+ 3473                         4029.3374     3080.9690            23.54%
*  5337+ 3473                         4029.3366     3080.9690            23.54%
   5351  3367     3081.1602   810     4029.3366     3080.9690  2362689   23.54%
   5381  3502     3081.2439   683     4029.3366     3080.9690  2396056   23.54%
Elapsed time = 2178.16 sec. (980905.47 ticks, tree = 491.95 MB)
   5412  3538     3081.1634   665     4029.3366     3080.9690  2417703   23.54%
   5450  3582     3081.1652   462     4029.3366     3080.9690  2439975   23.54%
*  5453+ 3543                         3963.3004     3080.9690            22.26%
*  5453+ 3543                         3961.6134     3080.9690            22.23%
   5483  3634     3081.0847   628     3961.6134     3080.9690  2451724   22.23%
   5531  3592     3081.1675   449     3961.6134     3080.9690  2444932   22.23%
   5619  3617     3081.1679   341     3961.6134     3080.9690  2445226   22.23%
   5667  3621     3081.1651   638     3961.6134     3080.9690  2451248   22.23%
   5713  3735     3081.2597   723     3961.6134     3080.9690  2501126   22.23%
*  5768+ 3676                         3951.4990     3080.9690            22.03%
   5788  3842     3081.2100   676     3951.4990     3080.9690  2531352   22.03%
   5877  3896     3081.1544   645     3951.4990     3080.9690  2549968   22.03%
   5945  3817     3081.0614   485     3951.4990     3080.9690  2525055   22.03%
Elapsed time = 2278.67 sec. (1019862.68 ticks, tree = 552.31 MB)
*  5952+ 3916                         3893.9142     3080.9690            20.88%
*  5956+ 3916                         3891.1511     3080.9690            20.82%
*  5956+ 3916                         3890.5514     3080.9690            20.81%
   5990  3896     3081.2428   615     3890.5514     3080.9690  2540452   20.81%
   6079  4008     3081.1571   714     3890.5514     3080.9690  2570689   20.81%
   6117  3944     3081.2539   460     3890.5514     3080.9690  2572282   20.81%
   6164  4029     3081.2621   636     3890.5514     3080.9690  2589989   20.81%
   6233  4034     3081.1778   443     3890.5514     3080.9690  2610348   20.81%
   6279  4180     3081.2718   671     3890.5514     3080.9690  2653571   20.81%
   6327  4381     3081.0909   759     3890.5514     3080.9690  2699598   20.81%
*  6332+ 4262                         3887.1798     3080.9690            20.74%
*  6338+ 4262                         3847.5567     3080.9690            19.92%
*  6341+ 4262                         3846.4866     3080.9690            19.90%
*  6341+ 4262                         3844.8004     3080.9690            19.87%
*  6341+ 4262                         3844.7999     3080.9690            19.87%
*  6341+ 4262                         3841.4288     3080.9690            19.80%
   6361  4461     3081.5814   944     3841.4288     3080.9690  2731267   19.80%
   6393  4335     3081.1138   640     3841.4288     3080.9690  2678893   19.80%
   6420  4481     3081.1603   536     3841.4288     3080.9690  2738422   19.80%
Elapsed time = 2382.64 sec. (1058999.89 ticks, tree = 683.47 MB)
   6481  4514     3081.1612   595     3841.4288     3080.9690  2740607   19.80%
   6524  4562     3081.2743   714     3841.4288     3080.9690  2771646   19.80%
   6560  4653     3081.2152   508     3841.4288     3080.9690  2797873   19.80%
   6585  4719     3081.1032   542     3841.4288     3080.9690  2811134   19.80%
   6642  4672     3081.1854   484     3841.4288     3080.9690  2803977   19.80%
*  6687+ 4674                         3828.4353     3080.9690            19.52%
*  6695+ 4674                         3804.1696     3080.9690            19.01%
*  6697+ 4674                         3791.1940     3080.9690            18.73%
*  6698+ 4674                         3780.4056     3080.9690            18.50%
   6698  4744     3081.5823   809     3780.4056     3080.9690  2834110   18.50%
*  6703+ 4674                         3779.3461     3080.9690            18.48%
   6721  4577     3082.7974   788     3779.3461     3080.9690  2785820   18.48%
   6756  4806     3081.1751   587     3779.3461     3080.9690  2843872   18.48%
   6789  4848     3081.1859   402     3779.3461     3080.9690  2893561   18.48%
   6834  4814     3081.2864   430     3779.3461     3080.9690  2864361   18.48%
Elapsed time = 2476.39 sec. (1098359.65 ticks, tree = 751.60 MB)
   6856  4903     3081.2173   633     3779.3461     3080.9690  2906946   18.48%
   6870  4932     3081.2864   371     3779.3461     3080.9690  2926771   18.48%
   6892  4951     3081.2487   486     3779.3461     3080.9690  2941797   18.48%
*  6895+ 4902                         3720.3569     3080.9690            17.19%
*  6896+ 4902                         3720.3553     3080.9690            17.19%
*  6898+ 4902                         3653.3033     3080.9690            15.67%
*  6900+ 4902                         3651.4876     3080.9690            15.62%
*  6901+ 4902                         3583.5097     3080.9690            14.02%
*  6901+ 4902                         3581.8203     3080.9690            13.98%
   6915  4941     3081.2872   186     3581.8203     3080.9690  2931823   13.98%
   6953  4967     3081.2522   413     3581.8203     3080.9690  2946284   13.98%
   6981  4980     3081.2524   407     3581.8203     3080.9690  2947551   13.98%
   7006  5098     3081.2526   399     3581.8203     3080.9690  2988507   13.98%
   7031  5125     3081.2873   183     3581.8203     3080.9690  3005096   13.98%
   7047  5138     3081.2878   175     3581.8203     3080.9690  3006105   13.98%
   7059  5049     3081.5896   578     3581.8203     3080.9690  2992665   13.98%
Elapsed time = 2583.22 sec. (1137543.46 ticks, tree = 799.36 MB)
*  7068+ 5145                         3566.0572     3080.9690            13.60%
*  7068+ 5145                         3560.2885     3080.9690            13.46%
*  7068+ 5145                         3555.2139     3080.9690            13.34%
*  7068+ 5145                         3551.8463     3080.9690            13.26%
*  7069+ 5145                         3551.8455     3080.9690            13.26%
   7085  5143     3081.5896   549     3551.8455     3080.9690  3018143   13.26%
*  7113+ 5209                         3540.4940     3080.9690            12.98%
*  7122+ 5209                         3537.1232     3080.9690            12.90%
   7123  5176     3081.1586   652     3537.1232     3080.9690  3033934   12.90%
   7138  5181     3081.1800   785     3537.1232     3080.9690  3036832   12.90%
   7167  5193     3081.2929   218     3537.1232     3080.9690  3045213   12.90%
   7203  5206     3081.2931   198     3537.1232     3080.9690  3046121   12.90%
   7257  5294     3081.1648   469     3537.1232     3080.9690  3059707   12.90%
*  7288+ 5294                         3532.0670     3080.9690            12.77%
   7299  5375     3081.1648   459     3532.0670     3080.9690  3073859   12.77%
   7369  5348     3081.3060   632     3532.0670     3080.9690  3075622   12.77%
*  7414+ 5369                         3530.3805     3080.9690            12.73%
   7414  5371     3081.3065   524     3530.3805     3080.9690  3078447   12.73%
   7449  5509     3081.2198   578     3530.3805     3080.9690  3122406   12.73%
Elapsed time = 2700.88 sec. (1176751.36 ticks, tree = 901.33 MB)
   7498  5494     3081.2513   779     3530.3805     3080.9690  3125796   12.73%
   7567  5520     3081.1883   522     3530.3805     3080.9690  3128765   12.73%
   7620  5503     3081.3288   557     3530.3805     3080.9690  3115593   12.73%
   7672  5594     3081.1683   568     3530.3805     3080.9690  3160973   12.73%
   7700  5658     3081.3405   485     3530.3805     3080.9690  3174677   12.73%
   7751  5712     3081.1956   637     3530.3805     3080.9690  3182368   12.73%
   7776  5753     3081.2217   524     3530.3805     3080.9690  3204799   12.73%
*  7822+ 5680                         3521.9523     3080.9690            12.52%
   7823  5164     3081.5896   593     3521.9523     3080.9690  3025097   12.52%
   7862  5919     3081.3459   199     3521.9523     3080.9690  3281646   12.52%
   7876  5924     3081.3515   276     3521.9523     3080.9690  3284216   12.52%
Elapsed time = 2810.80 sec. (1216427.80 ticks, tree = 996.15 MB)
   7901  5866     3081.8142   523     3521.9523     3080.9690  3275837   12.52%
   7925  5942     3081.3735   498     3521.9523     3080.9690  3288490   12.52%
   7936  6026     3081.3241   804     3521.9523     3080.9690  3344765   12.52%
   7958  6071     3081.3816   492     3521.9523     3080.9690  3375057   12.52%
   7984  6039     3081.3242   763     3521.9523     3080.9690  3348745   12.52%
   7994  6108     3081.1961   464     3521.9523     3080.9690  3427277   12.52%
   8019  6047     3081.3250   604     3521.9523     3080.9690  3353965   12.52%
   8041  6083     3081.5203   490     3521.9523     3080.9690  3388124   12.52%
*  8048+ 6130                         3521.9512     3080.9690            12.52%
   8072  6108     3081.8142   524     3521.9512     3080.9690  3418474   12.52%
   8090  6226     3081.2228   401     3521.9512     3080.9690  3491031   12.52%
Elapsed time = 2921.67 sec. (1256981.56 ticks, tree = 1062.91 MB)
   8112  6186     3081.1683   482     3521.9512     3080.9690  3465601   12.52%
   8125  6199     3081.5896   659     3521.9512     3080.9690  3494754   12.52%
   8144  6250     3081.2485   338     3521.9512     3080.9690  3514267   12.52%
   8163  6252     3081.3821   451     3521.9512     3080.9690  3538608   12.52%
   8204  6291     3081.5896   590     3521.9512     3080.9690  3556844   12.52%
   8251  6376     3081.3882   493     3521.9512     3080.9690  3644301   12.52%
   8304  6406     3081.1741   537     3521.9512     3080.9690  3656508   12.52%
   8335  6377     3081.2511   334     3521.9512     3080.9690  3600531   12.52%
   8369  6421     3081.1766   592     3521.9512     3080.9690  3660459   12.52%
*  8390+ 6392                         3516.8950     3080.9690            12.40%
   8399  6358     3081.4371   614     3516.8950     3080.9690  3642088   12.40%
Elapsed time = 3025.22 sec. (1296456.78 ticks, tree = 1091.61 MB)
   8442  6579     3081.3267   822     3516.8950     3080.9690  3739424   12.40%
*  8451+ 6439                         3515.2074     3080.9690            12.35%
   8451  6440     3081.4321   434     3515.2074     3080.9690  3673431   12.35%
   8479  6447     3081.3931   267     3515.2074     3080.9690  3675746   12.35%
*  8486+ 6533                         3511.8387     3080.9690            12.27%
   8490  6455     3081.3931   265     3511.8387     3080.9690  3677529   12.27%
*  8530+ 6533                         3510.1533     3080.9690            12.23%
   8547  6669     3081.3946   160     3510.1533     3080.9690  3762153   12.23%
   8589  6656     3081.1890   439     3510.1533     3080.9690  3758343   12.23%
   8624  6554     3081.6474   786     3510.1533     3080.9690  3731380   12.23%
   8653  6673     3081.2625   404     3510.1533     3080.9690  3760254   12.23%
   8684  6684     3081.2708   442     3510.1533     3080.9690  3764163   12.23%
   8706  6783     3081.2825   490     3510.1533     3080.9690  3887931   12.23%
Elapsed time = 3136.86 sec. (1337898.59 ticks, tree = 1189.29 MB)
   8738  6889     3081.4135   457     3510.1533     3080.9690  3929494   12.23%
   8762  6770     3081.8483   816     3510.1533     3080.9690  3864845   12.23%
*  8779+ 6686                         3508.4468     3080.9690            12.18%
   8797  6774     3081.8320   605     3508.4468     3080.9690  3868207   12.18%
   8811  6887     3081.6998   828     3508.4468     3080.9690  3952072   12.18%
   8822  6898     3081.4412   737     3508.4468     3080.9690  3965544   12.18%
   8847  6940     3081.2890   470     3508.4468     3080.9690  4000359   12.18%
   8872  6909     3081.4510   467     3508.4468     3080.9690  3972333   12.18%
   8885  6961     3081.6998   698     3508.4468     3080.9690  4018890   12.18%
   8907  6965     3081.6998   766     3508.4468     3080.9690  4020941   12.18%
   8932  6969     3081.6998   665     3508.4468     3080.9690  4023796   12.18%
Elapsed time = 3290.98 sec. (1381717.06 ticks, tree = 1233.39 MB)
   8935  6972     3081.6998   686     3508.4468     3080.9690  4026496   12.18%
   8939  6975     3081.6998   533     3508.4468     3080.9690  4028798   12.18%
   8944  6862     3081.9050   707     3508.4468     3080.9690  3920819   12.18%
   8959  6983     3081.3407   871     3508.4468     3080.9690  4069157   12.18%
   8969  7024     3081.4510   327     3508.4468     3080.9690  4124150   12.18%
   8976  7029     3081.4510   293     3508.4468     3080.9690  4126499   12.18%
   8981  7033     3081.4510   312     3508.4468     3080.9690  4129554   12.18%
   9003  7131     3081.2022   370     3508.4468     3080.9690  4172214   12.18%
   9039  7085     3081.8355   427     3508.4468     3080.9690  4164748   12.18%
   9068  7104     3081.8356   419     3508.4468     3080.9690  4164857   12.18%
Elapsed time = 3405.92 sec. (1426172.31 ticks, tree = 1266.47 MB)
   9094  7162     3081.2061   388     3508.4468     3080.9690  4176649   12.18%
*  9098+ 7163                         3501.7041     3080.9690            12.02%
   9103  7061     3081.5679   293     3501.7041     3080.9690  4158790   12.02%
   9113  7177     3081.2094   408     3501.7041     3080.9690  4202560   12.02%
   9124  7065     3081.5915   553     3501.7041     3080.9690  4168593   12.02%
   9130  6979     3081.6998   658     3501.7041     3080.9690  4031870   12.02%
   9139  7173     3081.3407   844     3501.7041     3080.9690  4230890   12.02%
   9144  7189     3081.2383   694     3501.7041     3080.9690  4217684   12.02%
   9156  7311     3081.4501   861     3501.7041     3080.9690  4310464   12.02%
   9181  7328     3081.4537   616     3501.7041     3080.9690  4312448   12.02%
   9202  7256     3083.5442   370     3501.7041     3080.9690  4293940   12.02%
Elapsed time = 3536.23 sec. (1470759.48 ticks, tree = 1301.82 MB)
   9236  7298     3081.2113   332     3501.7041     3080.9690  4320716   12.02%
   9256  7388     3081.4720   618     3501.7041     3080.9690  4322209   12.02%
   9269  7394     3081.4923   811     3501.7041     3080.9690  4325646   12.02%
   9287  7337     3081.9986   925     3501.7041     3080.9690  4436544   12.02%
   9293  7337     3081.5072   628     3501.7041     3080.9690  4422747   12.02%
   9303  7329     3083.1950   880     3501.7041     3080.9690  4398262   12.02%
   9311  7343     3082.0086   824     3501.7041     3080.9690  4443241   12.02%
   9332  7346     3082.0086   660     3501.7041     3080.9690  4448187   12.02%
   9347  7349     3082.0270   733     3501.7041     3080.9690  4451038   12.02%
   9364  7498     3081.4846   534     3501.7041     3080.9690  4601406   12.02%
Elapsed time = 3676.31 sec. (1511312.01 ticks, tree = 1359.40 MB)
   9379  7488     3082.0270   799     3501.7041     3080.9690  4575665   12.02%
   9386  7372     3083.5442   847     3501.7041     3080.9690  4520697   12.02%
   9408  7545     3081.2296   369     3501.7041     3080.9690  4628328   12.02%
   9435  7499     3081.4730   616     3501.7041     3080.9690  4533994   12.02%
   9448  7506     3081.4785   657     3501.7041     3080.9690  4536982   12.02%
   9468  7564     3083.5442   343     3501.7041     3080.9690  4686094   12.02%
   9489  7579     3081.4765   471     3501.7041     3080.9690  4651262   12.02%
   9518  7602     3083.1962   592     3501.7041     3080.9690  4799429   12.02%
   9544  7611     3083.1972   542     3501.7041     3080.9690  4801002   12.02%
   9572  7640     3083.4766   670     3501.7041     3080.9690  4850666   12.02%
Elapsed time = 3794.41 sec. (1551727.92 ticks, tree = 1394.75 MB)
   9589  7620     3083.2088   480     3501.7041     3080.9690  4805910   12.02%
   9627  7657     3081.2519   614     3501.7041     3080.9690  4857222   12.02%
   9653  7762     3083.2097   462     3501.7041     3080.9690  4926028   12.02%
   9687  7775     3083.2097   412     3501.7041     3080.9690  4926897   12.02%
   9705  7701     3081.5138   563     3501.7041     3080.9690  4882528   12.02%
   9734  7841     3083.4809   646     3501.7041     3080.9690  4974589   12.02%
   9779  7698     3081.2577   536     3501.7041     3080.9690  4866141   12.02%
*  9791+ 7713                         3498.3322     3080.9690            11.93%
   9822  7715     3081.2577   534     3498.3322     3080.9690  4866199   11.93%
   9841  7929     3081.2588   465     3498.3322     3080.9690  4996827   11.93%
   9882  7817     3081.4636   909     3498.3322     3080.9690  4984236   11.93%
Elapsed time = 3913.53 sec. (1590644.67 ticks, tree = 1436.40 MB)
*  9899+ 7959                         3496.6468     3080.9690            11.89%
   9926  7995     3083.2200   494     3496.6468     3080.9690  5013844   11.89%
   9989  8069     3081.2686   346     3496.6468     3080.9690  5038923   11.89%
  10045  8086     3081.2733   256     3496.6468     3080.9690  5042158   11.89%
  10065  8096     3081.2738   323     3496.6468     3080.9690  5046026   11.89%
* 10075+ 8056                         3494.9622     3080.9690            11.85%
  10099  8034     3083.2314   525     3494.9622     3080.9690  5027251   11.85%
  10122  8040     3082.0270   645     3494.9622     3080.9690  5070164   11.85%
  10134  8115     3081.5132   504     3494.9622     3080.9690  5139960   11.85%
  10149  7854     3083.4905   306     3494.9622     3080.9690  4980613   11.85%
  10167  8071     3081.4510   408     3494.9622     3080.9690  5119636   11.85%
  10189  8076     3081.4510   328     3494.9622     3080.9690  5123285   11.85%
Elapsed time = 4051.08 sec. (1631497.55 ticks, tree = 1500.00 MB)
  10228  8079     3081.4510   338     3494.9622     3080.9690  5126635   11.85%
  10236  8196     3083.2975   827     3494.9622     3080.9690  5175331   11.85%
  10247  8245     3083.4905   205     3494.9622     3080.9690  5204559   11.85%
  10267  8201     3083.2358   419     3494.9622     3080.9690  5182279   11.85%
* 10279+ 8333                         3493.2479     3080.9690            11.80%
* 10279+ 8333                         3485.9084     3080.9690            11.62%
  10289  8427     3086.3092   122     3485.9084     3080.9690  5367999   11.62%
  10305  8253     3082.0273   442     3485.9084     3080.9690  5229626   11.62%
  10338  8463     3083.4905   408     3485.9084     3080.9690  5402954   11.62%
  10364  8409     3083.2523   703     3485.9084     3080.9690  5348521   11.62%
  10385  8470     3083.4905   340     3485.9084     3080.9690  5410874   11.62%
  10407  8423     3081.3810   167     3485.9084     3080.9690  5329697   11.62%
Elapsed time = 4189.02 sec. (1671333.46 ticks, tree = 1585.05 MB)
  10438  8477     3083.4915   437     3485.9084     3080.9690  5418111   11.62%
  10456  8457     3086.3092   125     3485.9084     3080.9690  5391892   11.62%
  10468  8486     3082.0273   542     3485.9084     3080.9690  5440280   11.62%
  10477  8513     3081.3407   385     3485.9084     3080.9690  5516557   11.62%
  10486  8501     3081.4510   406     3485.9084     3080.9690  5463807   11.62%
  10495  8547     3083.5795   613     3485.9084     3080.9690  5543840   11.62%
  10507  8554     3083.5795   566     3485.9084     3080.9690  5545713   11.62%
  10527  8558     3083.5836   499     3485.9084     3080.9690  5548342   11.62%
  10549  8670     3081.3810   638     3485.9084     3080.9690  5648505   11.62%
  10568  8565     3083.6018   525     3485.9084     3080.9690  5553690   11.62%
Elapsed time = 4326.11 sec. (1712312.12 ticks, tree = 1619.62 MB)
  10588  8596     3090.4566   243     3485.9084     3080.9690  5611758   11.62%
  10597  8683     3081.7164   678     3485.9084     3080.9690  5690169   11.62%
  10607  8689     3081.3826   266     3485.9084     3080.9690  5659156   11.62%
  10620  8599     3083.2773   777     3485.9084     3080.9690  5633325   11.62%
  10631  8694     3081.4651   506     3485.9084     3080.9690  5665630   11.62%
  10641  8736     3083.3550   812     3485.9084     3080.9690  5773714   11.62%
  10650  8731     3090.4566   217     3485.9084     3080.9690  5753652   11.62%
  10658  8698     3081.7343   688     3485.9084     3080.9690  5708171   11.62%
  10664  8815     3081.7343   612     3485.9084     3080.9690  5836118   11.62%
  10671  8734     3090.4566   250     3485.9084     3080.9690  5763414   11.62%
Elapsed time = 4462.16 sec. (1752561.56 ticks, tree = 1658.49 MB)
* 10674+ 8559                         3484.2214     3080.9690            11.57%
  10683  8838     3082.0273   564     3484.2214     3080.9690  5907630   11.57%
  10696  8824     3081.7343   712     3484.2214     3080.9690  5845136   11.57%
  10704  8849     3083.2358   509     3484.2214     3080.9690  5935040   11.57%
  10719  8868     3081.4538   466     3484.2214     3080.9690  5960328   11.57%
  10729  8835     3081.7343   597     3484.2214     3080.9690  5853482   11.57%
  10738  8858     3083.2557   600     3484.2214     3080.9690  5943951   11.57%
  10743  8860     3083.2557   615     3484.2214     3080.9690  5946826   11.57%
  10760  8896     3081.5826   468     3484.2214     3080.9690  5992409   11.57%
  10777  8820     3081.3407   710     3484.2214     3080.9690  5897832   11.57%
  10792  8831     3090.4566   222     3484.2214     3080.9690  5897614   11.57%
Elapsed time = 4595.55 sec. (1794140.67 ticks, tree = 1675.58 MB)
  10818  8901     3081.7343   650     3484.2214     3080.9690  5995147   11.57%
  10828  8903     3081.7343   642     3484.2214     3080.9690  5998413   11.57%
  10849  8931     3090.4566   447     3484.2214     3080.9690  6080584   11.57%
  10878  8918     3083.6091   536     3484.2214     3080.9690  6030794   11.57%
  10906  8919     3081.5826   491     3484.2214     3080.9690  6011865   11.57%
  10936  8992     3081.4540   545     3484.2214     3080.9690  6116527   11.57%
  10959  8994     3081.7343   712     3484.2214     3080.9690  6144513   11.57%
  10971  8987     3083.2398   663     3484.2214     3080.9690  6113145   11.57%
  11002  8998     3081.7343   660     3484.2214     3080.9690  6150779   11.57%
  11012  9099     3083.2518   603     3484.2214     3080.9690  6238629   11.57%
Elapsed time = 4726.44 sec. (1835198.80 ticks, tree = 1738.91 MB)
  11023  9102     3081.3407   552     3484.2214     3080.9690  6272712   11.57%
  11027  9058     3083.6416   465     3484.2214     3080.9690  6206381   11.57%
  11037  9142     3081.4550   545     3484.2214     3080.9690  6297119   11.57%
  11044  9063     3083.6516   524     3484.2214     3080.9690  6213447   11.57%
  11050  9164     3083.6616   551     3484.2214     3080.9690  6325565   11.57%
  11074  9178     3083.6616   540     3484.2214     3080.9690  6325589   11.57%
  11102  9075     3090.4766   602     3484.2214     3080.9690  6244048   11.57%
  11116  9225     3083.2556   574     3484.2214     3080.9690  6396136   11.57%
  11126  9212     3090.4570   382     3484.2214     3080.9690  6374554   11.57%
  11139  9257     3081.5826   446     3484.2214     3080.9690  6447147   11.57%
Elapsed time = 4890.41 sec. (1876280.45 ticks, tree = 1776.70 MB)
  11161  9234     3083.2694   736     3484.2214     3080.9690  6404559   11.57%
  11181  9204     3084.3767   483     3484.2214     3080.9690  6346380   11.57%
  11196  9208     3084.3800   512     3484.2214     3080.9690  6348990   11.57%
  11214  9275     3081.7127   579     3484.2214     3080.9690  6460961   11.57%
  11221  9274     3083.6447   866     3484.2214     3080.9690  6490384   11.57%
  11233  9252     3081.7343   705     3484.2214     3080.9690  6435968   11.57%
  11245  9284     3081.7807   288     3484.2214     3080.9690  6469852   11.57%
  11260  9339     3082.0273   511     3484.2214     3080.9690  6538461   11.57%
  11272  9386     3081.7807   298     3484.2214     3080.9690  6589326   11.57%
  11279  9355     3090.4766   716     3484.2214     3080.9690  6571256   11.57%
Elapsed time = 5064.36 sec. (1917196.25 ticks, tree = 1801.13 MB)
  11293  9320     3084.3800   483     3484.2214     3080.9690  6503038   11.57%
  11317  9432     3084.3800   483     3484.2214     3080.9690  6652346   11.57%
  11331  9414     3081.4547   551     3484.2214     3080.9690  6658766   11.57%
  11353  9401     3084.7033   850     3484.2214     3080.9690  6626060   11.57%
  11359  9473     3083.2759   601     3484.2214     3080.9690  6695086   11.57%
  11371  9481     3081.7343   654     3484.2214     3080.9690  6719832   11.57%
  11391  9509     3090.4570   384     3484.2214     3080.9690  6757420   11.57%
  11415  9480     3083.2919   423     3484.2214     3080.9690  6705249   11.57%
  11421  9510     3090.4766   654     3484.2214     3080.9690  6765851   11.57%
  11429  9534     3084.7075   903     3484.2214     3080.9690  6819779   11.57%
Elapsed time = 5210.77 sec. (1959998.91 ticks, tree = 1845.33 MB)
  11445  9437     3084.3800   478     3484.2214     3080.9690  6652478   11.57%
  11459  9498     3082.2428   377     3484.2214     3080.9690  6740390   11.57%
  11474  9506     3082.2428   308     3484.2214     3080.9690  6743286   11.57%
  11513  9550     3085.1987   539     3484.2214     3080.9690  6828003   11.57%
  11529  9516     3090.4766   374     3484.2214     3080.9690  6788413   11.57%
  11569  9548     3084.7077   934     3484.2214     3080.9690  6835852   11.57%
  11591  9663     3082.0283   625     3484.2214     3080.9690  6930256   11.57%
* 11605+ 9602                         3484.2192     3080.9690            11.57%
  11634  9684     3082.0318   653     3484.2192     3080.9690  6932660   11.57%
  11673  9688     3082.0360   690     3484.2192     3080.9690  6935650   11.57%
  11692  9642     3090.4766   475     3484.2192     3080.9690  6933951   11.57%
Elapsed time = 5347.14 sec. (2001364.00 ticks, tree = 1871.67 MB)
  11711  9702     3082.0347   652     3484.2192     3080.9690  6941339   11.57%
  11748  9764     3083.2919   246     3484.2192     3080.9690  7018368   11.57%
  11788  9743     3087.6304   544     3484.2192     3080.9690  6994980   11.57%
  11818  9796     3083.9838   637     3484.2192     3080.9690  7040724   11.57%
  11865  9820     3083.9852   725     3484.2192     3080.9690  7042892   11.57%
  11927  9718     3085.6385   179     3484.2192     3080.9690  6958666   11.57%
* 11942+ 9777                         3482.5338     3080.9690            11.53%
  11967  9940     3082.0366   615     3482.5338     3080.9690  7099487   11.53%
  12000  9872     3083.2919   256     3482.5338     3080.9690  7076665   11.53%
  12012  9875     3083.2919   252     3482.5338     3080.9690  7079633   11.53%
  12022  9956     3082.0552   659     3482.5338     3080.9690  7109096   11.53%
Elapsed time = 5477.69 sec. (2041355.16 ticks, tree = 1947.98 MB)
  12041  9988     3085.7410   904     3482.5338     3080.9690  7144419   11.53%
  12060  9990     3085.7410   844     3482.5338     3080.9690  7147149   11.53%
  12074  9886     3083.2919   281     3482.5338     3080.9690  7091343   11.53%
  12083 10081     3090.4238   639     3482.5338     3080.9690  7214817   11.53%
  12110 10096     3090.4089   493     3482.5338     3080.9690  7215087   11.53%
  12127  9994     3085.7410   835     3482.5338     3080.9690  7160201   11.53%
  12149 10110     3090.4219   314     3482.5338     3080.9690  7220094   11.53%
  12172 10198     3083.2944   677     3482.5338     3080.9690  7259426   11.53%
  12194 10032     3084.7077   790     3482.5338     3080.9690  7211720   11.53%
  12224 10200     3083.9911   641     3482.5338     3080.9690  7238226   11.53%
Elapsed time = 5612.22 sec. (2082181.98 ticks, tree = 2008.87 MB)
  12245 10223     3084.4379   725     3482.5338     3080.9690  7282827   11.53%
  12275 10322     3090.4599   533     3482.5338     3080.9690  7333445   11.53%
  12319 10318     3093.9838   468     3482.5338     3080.9690  7304143   11.53%
  12340 10240     3084.4389   704     3482.5338     3080.9690  7289957   11.53%
  12363 10247     3084.4408   845     3482.5338     3080.9690  7291890   11.53%
  12384 10255     3084.4423   665     3482.5338     3080.9690  7293740   11.53%
* 12405+10317                         3480.8492     3080.9690            11.49%
  12413 10433     3083.3250   656     3480.8492     3080.9690  7418083   11.49%
  12435 10423     3083.9996   565     3480.8492     3080.9690  7393236   11.49%
* 12456+10277                         3480.8484     3080.9690            11.49%
  12468 10480     3093.9887   420     3480.8484     3080.9690  7449398   11.49%
  12483 10492     3095.2575   477     3480.8484     3080.9690  7452780   11.49%
Elapsed time = 5767.16 sec. (2122070.07 ticks, tree = 2082.01 MB)
Nodefile size = 23.66 MB (7.17 MB after compression)
  12524 10347     3090.4766   276     3480.8484     3080.9690  7364163   11.49%
  12609 10458     3086.0150   837     3480.8484     3080.9690  7457428   11.49%
* 12613+10567                         3479.1638     3080.9690            11.45%
  12644 10663     3095.5044   210     3479.1638     3080.9690  7496336   11.45%
  12682 10591     3086.3459   462     3479.1638     3080.9690  7492111   11.45%
  12723 10730     3084.0081   485     3479.1638     3080.9690  7544758   11.45%
  12785 10749     3086.0778   352     3479.1638     3080.9690  7548680   11.45%
  12850 10782     3084.0190   611     3479.1638     3080.9690  7552308   11.45%
  12884 10795     3084.0366   583     3479.1638     3080.9690  7556565   11.45%
  12899 10739     3083.3301   382     3479.1638     3080.9690  7586366   11.45%
  12916 10576     3084.7418   895     3479.1638     3080.9690  7510628   11.45%
Elapsed time = 5897.14 sec. (2162819.06 ticks, tree = 2102.47 MB)
Nodefile size = 43.02 MB (12.76 MB after compression)
  12935 10870     3082.0598   684     3479.1638     3080.9690  7666473   11.45%
  12960 10809     3084.0366   418     3479.1638     3080.9690  7571504   11.45%
  12983 10887     3082.0652   620     3479.1638     3080.9690  7670992   11.45%
  13020 10848     3085.4060   475     3479.1638     3080.9690  7670197   11.45%
  13039 11012     3098.3792   314     3479.1638     3080.9690  7731521   11.45%
  13056 11115     3085.2698   662     3479.1638     3080.9690  7807439   11.45%
* 13072+10764                         3477.4775     3080.9690            11.40%
* 13072+10764                         3475.7921     3080.9690            11.36%
  13072 11024     3090.4766   179     3475.7921     3080.9690  7776375   11.36%
* 13084+10764                         3474.1094     3080.9690            11.32%
  13093 11045     3099.2048    76     3474.1094     3080.9690  7736770   11.32%
  13118 10899     3082.1411   870     3474.1094     3080.9690  7689269   11.32%
  13139 10918     3084.7475   628     3474.1094     3080.9690  7713998   11.32%
Elapsed time = 6026.66 sec. (2202888.89 ticks, tree = 2187.49 MB)
Nodefile size = 130.93 MB (39.34 MB after compression)
  13171 10850     3085.3833   498     3474.1094     3080.9690  7672093   11.32%
  13182 11177     3086.3563   561     3474.1094     3080.9690  7867779   11.32%
  13196 10929     3084.7475   740     3474.1094     3080.9690  7721648   11.32%
  13213 11158     3083.3506   697     3474.1094     3080.9690  7845443   11.32%
  13231 11161     3083.3518   540     3474.1094     3080.9690  7848416   11.32%
  13242 11218     3084.7580   604     3474.1094     3080.9690  7896192   11.32%
  13256 11166     3083.3518   532     3474.1094     3080.9690  7854461   11.32%
  13265 11098     3099.2048   157     3474.1094     3080.9690  7738923   11.32%
  13293 11234     3090.4766   169     3474.1094     3080.9690  7942143   11.32%
  13317 11199     3085.3518   563     3474.1094     3080.9690  7896540   11.32%
Elapsed time = 6134.98 sec. (2243316.73 ticks, tree = 2257.77 MB)
Nodefile size = 198.48 MB (60.15 MB after compression)
  13350 11407     3082.1212   827     3474.1094     3080.9690  8030730   11.32%
* 13378+11233                         3474.1086     3080.9690            11.32%
  13387 11393     3099.2048    78     3474.1086     3080.9690  7976058   11.32%
* 13412+11236                         3470.7394     3080.9690            11.23%
  13421 11404     3099.2048    74     3470.7394     3080.9690  7977244   11.23%
  13447 11373     3083.6120   611     3470.7394     3080.9690  8021990   11.23%
  13487 11427     3099.2048    80     3470.7394     3080.9690  7979367   11.23%
  13516 11438     3099.2048    79     3470.7394     3080.9690  7980711   11.23%
  13531 11601     3099.2048    75     3470.7394     3080.9690  8158400   11.23%
  13561 11612     3099.2048    91     3470.7394     3080.9690  8159580   11.23%
  13581 11511     3090.4788   619     3470.7394     3080.9690  8169387   11.23%
  13624 11631     3099.2048    79     3470.7394     3080.9690  8163920   11.23%
Elapsed time = 6250.70 sec. (2282662.69 ticks, tree = 2365.69 MB)
Nodefile size = 305.35 MB (93.68 MB after compression)
  13651 11643     3099.2048   105     3470.7394     3080.9690  8165045   11.23%
  13690 11498     3085.3589   458     3470.7394     3080.9690  8072553   11.23%
  13727 11639     3090.9736   402     3470.7394     3080.9690  8214134   11.23%
  13756 11679     3099.2048    87     3470.7394     3080.9690  8168258   11.23%
  13769 11799     3085.3529   681     3470.7394     3080.9690  8339413   11.23%
  13801 11695     3099.2048   108     3470.7394     3080.9690  8173530   11.23%
  13828 11836     3090.4814   604     3470.7394     3080.9690  8377282   11.23%
  13869 11845     3090.4834   612     3470.7394     3080.9690  8379871   11.23%
  13897 11784     3085.3738   442     3470.7394     3080.9690  8271668   11.23%
  13909 11858     3090.4925   501     3470.7394     3080.9690  8386931   11.23%
Elapsed time = 6382.66 sec. (2322354.49 ticks, tree = 2421.30 MB)
Nodefile size = 360.23 MB (110.99 MB after compression)
  13919 11650     3087.7535   689     3470.7394     3080.9690  8266752   11.23%
  13941 11807     3085.3825   430     3470.7394     3080.9690  8278699   11.23%
  13961 11797     3084.8010   680     3470.7394     3080.9690  8323278   11.23%
  13968 11820     3086.0464   600     3470.7394     3080.9690  8287878   11.23%
  13983 12067     3099.2053    78     3470.7394     3080.9690  8474271   11.23%
  14024 12140     3090.6029   770     3470.7394     3080.9690  8573828   11.23%
  14050 12144     3090.6037   739     3470.7394     3080.9690  8577468   11.23%
  14083 12102     3103.7394   155     3470.7394     3080.9690  8493340   11.23%
  14108 12149     3090.6429   718     3470.7394     3080.9690  8585143   11.23%
  14137 12110     3107.6930    67     3470.7394     3080.9690  8507258   11.23%
Elapsed time = 6508.80 sec. (2362744.42 ticks, tree = 2484.56 MB)
Nodefile size = 418.69 MB (129.44 MB after compression)
Starting limited solution polishing.
  14157 12165     3090.6440   614     3470.7394     3080.9690  8590512   11.23%
* 14169+11936                         3470.7375     3080.9690            11.23%
  14175 11982     3084.8180   685     3470.7375     3080.9690  8483065   11.23%
  14194 12127     3123.1529   426     3470.7375     3080.9690  8527492   11.23%
  14269 12168     3123.3823   120     3470.7375     3080.9690  8528706   11.23%
  14357 12209     3127.6389   461     3470.7375     3080.9690  8533967   11.23%
  14384 12225     3133.6975   401     3470.7375     3080.9690  8541775   11.23%
  14443 12436     3087.2849   146     3470.7375     3080.9690  8770722   11.23%
  14475 12246     3086.8512   454     3470.7375     3080.9690  8657496   11.23%
  14497 12442     3087.2849   500     3470.7375     3080.9690  8779823   11.23%
  14520 12269     3086.2574   299     3470.7375     3080.9690  8667009   11.23%
Elapsed time = 6686.27 sec. (2402738.66 ticks, tree = 2523.53 MB)
Nodefile size = 450.97 MB (139.54 MB after compression)
  14539 12163     3083.7270   853     3470.7375     3080.9690  8639097   11.23%
  14546 12275     3086.7302   451     3470.7375     3080.9690  8676908   11.23%
  14587 12466     3087.2849   138     3470.7375     3080.9690  8795204   11.23%
  14672 12226     3084.0245   787     3470.7375     3080.9690  8654379   11.23%
* 14679+12489                         3469.0513     3080.9690            11.19%
  14693 12593     3149.9114   189     3469.0513     3080.9690  8833519   11.19%
  14747 12630     3213.5068   209     3469.0513     3080.9690  8842082   11.19%
  14809 12677     3247.2596   205     3469.0513     3080.9690  8852095   11.19%
  14826 12484     3087.2849   134     3469.0513     3080.9690  8815149   11.19%
  14835 12844     3087.2849   140     3469.0513     3080.9690  9019940   11.19%
  14851 12452     3083.7535   878     3469.0513     3080.9690  8831279   11.19%
Elapsed time = 6812.16 sec. (2443824.61 ticks, tree = 2569.69 MB)
Nodefile size = 515.61 MB (160.40 MB after compression)
  14882 12897     3084.8180   156     3469.0513     3080.9690  9104502   11.19%
  14899 12850     3087.2850   127     3469.0513     3080.9690  9032432   11.19%
* 14911+12680                         3465.5323     3080.9690            11.10%
  14912 12462     3083.7545   844     3465.5323     3080.9690  8840863   11.10%
  14958 13012     3260.4634   140     3465.5323     3080.9690  9127450   11.10%
  15022 12756     3086.4639   334     3465.5323     3080.9690  8933802   11.10%
  15055 13045     3262.9940    89     3465.5323     3080.9690  9128861   11.10%
  15088 13061     3262.9940    86     3465.5323     3080.9690  9129440   11.10%
  15125 13049     3084.0883   798     3465.5323     3080.9690  9211974   11.10%
  15172 12865     3087.3531   379     3465.5323     3080.9690  9061735   11.10%
  15202 13100     3086.4639   371     3465.5323     3080.9690  9230053   11.10%
Elapsed time = 6929.70 sec. (2482802.24 ticks, tree = 2732.69 MB)
Nodefile size = 674.46 MB (211.57 MB after compression)
  15226 12871     3087.3531   361     3465.5323     3080.9690  9069455   11.10%
  15247 13115     3086.7433   382     3465.5323     3080.9690  9235409   11.10%
* 15250+13094                         3460.4728     3080.9690            10.97%
  15257 13122     3087.2564   451     3460.4728     3080.9690  9237804   10.97%
* 15267+13094                         3460.4685     3080.9690            10.97%
* 15269+13094                         3460.4674     3080.9690            10.97%
  15275 13363     3262.9940    78     3460.4674     3080.9690  9401425   10.97%
  15302 13264     3085.1640   704     3460.4674     3080.9690  9403864   10.97%
  15326 13398     3262.9940    47     3460.4674     3080.9690  9402631   10.97%
  15351 13267     3085.1815   775     3460.4674     3080.9690  9410212   10.97%
  15377 13268     3085.1815   795     3460.4674     3080.9690  9413589   10.97%
  15402 13448     3356.3108    94     3460.4674     3080.9690  9406181   10.97%
  15426 13232     3093.8408   762     3460.4674     3080.9690  9397809   10.97%
Elapsed time = 7085.30 sec. (2523032.54 ticks, tree = 2765.36 MB)
Nodefile size = 709.30 MB (222.51 MB after compression)
  15443 13380     3087.3531   316     3460.4674     3080.9690  9425378   10.97%
  15457 13385     3087.3531   324     3460.4674     3080.9690  9428726   10.97%
  15478 13238     3093.8408   322     3460.4674     3080.9690  9409691   10.97%
  15503 13410     3097.7520   529     3460.4674     3080.9690  9440405   10.97%
  15530 13414     3097.8616   700     3460.4674     3080.9690  9444180   10.97%
  15549 13494     3094.1993   383     3460.4674     3080.9690  9460548   10.97%
  15574 13504     3094.2622   331     3460.4674     3080.9690  9462457   10.97%
  15605 13513     3094.4103   447     3460.4674     3080.9690  9464440   10.97%
  15634 13497     3093.8408   256     3460.4674     3080.9690  9523134   10.97%
  15656 13525     3094.4103   434     3460.4674     3080.9690  9470876   10.97%
Elapsed time = 7182.75 sec. (2562669.09 ticks, tree = 2839.96 MB)
Nodefile size = 771.50 MB (242.79 MB after compression)
  15676 13530     3095.6416   397     3460.4674     3080.9690  9474773   10.97%
  15697 13453     3097.5828   494     3460.4674     3080.9690  9464371   10.97%
  15712 13541     3096.5325   401     3460.4674     3080.9690  9482688   10.97%

Flow cuts applied:  26
Mixed integer rounding cuts applied:  4
Lift and project cuts applied:  1

Root node processing (before b&c):
  Real time             =   29.52 sec. (40802.88 ticks)
Parallel b&c, 8 threads:
  Real time             = 7173.50 sec. (2538033.92 ticks)
  Sync time (average)   = 1026.05 sec.
  Wait time (average)   =    0.07 sec.
                          ------------
Total (root+branch&cut) = 7203.02 sec. (2578836.79 ticks)
Parallel mode: deterministic, using up to 8 threads for concurrent optimization:
 * Starting dual Simplex on 1 thread...
 * Starting Barrier on 6 threads...
 * Starting primal Simplex on 1 thread...
LP Presolve eliminated 10797 rows and 73937 columns.
All rows and columns eliminated.

Dual simplex solved model.

CPLEX 20.1.0.0: time limit with integer solution; objective 3460.467419
9809703 MIP simplex iterations
15720 branch-and-bound nodes
absmipgap = 379.498, relmipgap = 0.109667
COSTOS = 3460.47

NVS [*] :=
1  0.997072
2  0.955007
3  0.988321
4  0.92052
;

O [1,*,*] (tr)
:    1   2    3   4    5    6    7     :=
1    2    4   4    4    2    6    2
2    3    4   4    8    4    4    3
3    5    6   3    7    6    7    6
4    5    6   5    5    6    7   10
5    6    6   8    6    5    9   11
6    5    7   8    7    8    7   11
7    7    7   6    5    5    9   10
8    6    7   8    6    8    8    7
9    6    6   6    4    7    9   11
10   7   10   6   15    6   10   16
11   9    9   6   11    9   10   15
12   8    8   8    7   11   12   10
13   7    6   9   10    8    6    6
14   6    7   8    6   10    7    8
15   4    4   5    6    9    4    2

 [2,*,*] (tr)
:    1   2    3   4    5    6    7     :=
1    3    1   4    4    2    4    2
2    4    4   5    6    7    5    3
3    5    4   4    7    5    6    4
4    7    4   6    7    7    5    9
5    5    6   5    6    5    6   12
6    6    6   5    6    5    7   11
7    5    4   5    8    6    9   11
8    8    4   7    5    6    7    8
9    7    7   5    8    6    6    9
10   5    7   9    6    6   11   15
11   7   10   5    8    8   12   11
12   8    7   6    7    9   11   13
13   6    9   6   10   12    9    6
14   8    6   6   10    9    7    6
15   4    4   4    4    3    4    2

 [3,*,*] (tr)
:    1   2    3   4   5   6    7     :=
1    2    3   4   4   4    3    2
2    4    4   4   5   4    3    4
3    4    6   5   6   8    6    3
4    5    6   4   8   6    7    6
5    7    6   5   5   7    7   11
6    6    5   5   6   6    7   11
7    7    6   5   9   6    8   10
8    5    6   6   6   8    7    7
9    7    7   5   6   6   10   12
10   6    6   8   7   8   10   10
11   5    8   7   9   8    9   11
12   9    8   7   9   9   11   11
13   9   10   7   9   7   10    9
14   8   10   5   7   9    7    9
15   4    2   5   4   4    4    2

 [4,*,*] (tr)
:    1   2    3   4    5    6   7     :=
1    2    2   3    4    2   0    0
2    4    4   3    4    3   4    3
3    4    4   5    6    7   3    4
4    6    6   6    8    8   7    6
5    5    5   3    7    8   2   10
6    6    6   4    7    6   8   10
7    7    4   5    5    5   7   10
8    7    6   4   11    6   8    7
9    6    6   7    8    7   8   15
10   7    7   9   10    6   9    9
11   5    7   7   11    7   8   11
12   7   10   6   14   10   9   10
13   8    6   5    6    8   9    8
14   8    8   5    8    7   9    5
15   4    4   4    4    6   4    0
;

X [*,*] (tr)
:    1   2   3   4   5   6   7    :=
1    4   1   1   1   1   2   3
2    2   1   1   2   0   0   0
3    0   4   3   0   2   0   0
4    0   0   2   3   0   0   0
6    2   5   3   3   1   0   0
7    1   0   0   1   1   1   0
8    0   0   0   0   4   0   0
10   0   0   0   0   1   0   0
11   3   4   3   3   1   0   0
14   0   0   0   1   2   0   0
15   0   1   1   0   0   0   0
16   2   3   4   0   3   1   0
;

:        PE  PF    :=
1 1 3     1   0
1 1 8     1   0
1 1 9     1   0
1 1 11    4   0
1 1 15    1   0
1 2 8     1   0
1 2 9     1   0
1 2 10    4   0
1 2 12    0   1
1 3 6     4   0
1 3 7     1   0
1 3 12    1   0
1 4 2     4   0
1 4 10   10   0
1 4 11    1   0
1 4 15    3   0
1 5 7     1   0
1 5 8     1   0
1 5 10    1   0
1 5 11    1   0
1 5 12    1   0
1 5 13    2   0
1 5 15    4   0
1 6 14    0   1
1 7 8     1   0
2 1 1     1   0
2 1 10    0   1
2 1 15    1   0
2 2 1     0   3
2 2 3     0   2
2 2 7     0   1
2 2 10    1   0
2 3 1     0   1
2 3 5     0   2
2 3 10    0   1
2 3 11    0   1
2 3 13    0   4
2 3 14    0   3
2 4 2     3   0
2 4 7     1   0
2 4 9     3   0
2 4 11    1   0
2 5 2     3   0
2 5 13    6   0
2 6 5     0   2
2 6 6     0   2
2 6 7     0   1
2 6 9     0   2
2 7 4     4   0
2 7 5     0   1
2 7 6     0   3
2 7 10    0   1
3 1 5     1   0
3 2 14    0   2
3 2 15    0   1
3 3 12    1   0
3 3 13    0   2
3 4 2     1   0
3 4 4     1   0
3 4 5     1   0
3 4 7     2   0
3 5 1     3   0
3 5 4     1   0
3 5 10    2   0
3 7 3     0   1
3 7 10    0   1
3 7 11    0   1
4 2 1     0   3
4 2 3     0   2
4 2 5     0   1
4 2 9     0   2
4 2 13    0   1
4 3 1     0   2
4 3 2     0   2
4 3 5     0   5
4 3 8     0   2
4 3 13    0   3
4 3 14    0   3
4 4 1     1   0
4 4 8     4   0
4 4 9     2   0
4 4 10    5   0
4 4 11    3   0
4 4 12    4   0
4 5 5     2   0
4 5 11    0   1
4 5 12    1   0
4 6 1     0   4
4 6 3     0   3
4 6 5     0   7
4 6 7     0   1
4 6 9     0   1
4 7 1     0   2
4 7 10    0   5
4 7 11    0   1
4 7 14    0   2
4 7 15    0   2
;

PO [*,1,1,*] (tr)
:    1   2   3   4    :=
1    1   1   0   0
2    2   0   0   1
3    4   0   0   1
4    4   1   0   0
5    4   1   0   1
6    3   1   0   1
7    6   0   0   1
8    6   0   0   0
9    6   0   0   0
10   7   0   0   0
11   6   3   0   0
12   6   2   0   0
13   4   3   0   0
14   4   2   0   0
15   1   2   1   0

 [*,1,2,*] (tr)
:    1   2   3   4    :=
1    4   0   0   0
2    4   0   0   0
3    5   0   0   1
4    5   0   0   1
5    5   0   0   1
6    5   1   0   1
7    4   1   2   0
8    6   0   1   0
9    6   0   0   0
10   7   0   3   0
11   4   1   4   0
12   4   3   1   0
13   4   0   0   2
14   4   2   0   1
15   3   1   0   0

 [*,1,3,*] (tr)
:    1   2   3   4    :=
1    2   0   0   2
2    2   0   0   2
3    2   1   0   0
4    4   0   0   1
5    6   1   0   1
6    6   0   1   1
7    6   0   0   0
8    7   0   0   1
9    5   1   0   0
10   6   0   0   0
11   5   1   0   0
12   8   0   0   0
13   8   0   0   1
14   6   1   0   1
15   5   0   0   0

 [*,1,4,*] (tr)
:    1   2   3   4    :=
1    4   0   0   0
2    4   1   3   0
3    5   0   2   0
4    5   0   0   0
5    1   1   4   0
6    2   0   4   1
7    2   0   2   1
8    4   0   2   0
9    4   0   0   0
10   4   2   5   4
11   3   2   6   0
12   2   0   5   0
13   2   1   3   4
14   2   0   0   4
15   2   2   0   2

 [*,1,5,*] (tr)
:    1   2   3   4    :=
1    2   0   0   0
2    4   0   0   0
3    5   0   1   0
4    5   0   1   0
5    5   0   0   0
6    5   0   2   1
7    5   0   0   0
8    7   0   0   1
9    5   2   0   0
10   5   0   1   0
11   6   2   0   1
12   7   4   0   0
13   7   0   1   0
14   7   1   0   2
15   5   0   3   1

 [*,1,6,*] (tr)
:    1   2   3   4    :=
1    4   0   0   2
2    4   0   0   0
3    4   0   0   3
4    5   0   0   2
5    4   2   0   3
6    6   0   1   0
7    5   0   2   2
8    4   2   0   2
9    4   2   1   2
10   4   0   4   2
11   4   0   4   2
12   4   1   6   1
13   4   0   1   1
14   4   0   2   1
15   2   0   2   0

 [*,1,7,*] (tr)
:    1   2   3   4    :=
1    2   0   0   0
2    3   0   0   0
3    4   0   2   0
4    8   0   2   0
5    8   1   1   1
6    8   0   1   2
7    7   1   0   2
8    3   1   1   2
9    3   0   3   5
10   3   2   7   4
11   3   4   5   3
12   2   0   5   3
13   1   2   1   2
14   1   3   1   3
15   0   2   0   0

 [*,2,1,*] (tr)
:    2   6   7   8  10  14    :=
1    0   3   0   0   0   0
2    1   3   0   0   0   0
3    1   3   0   0   1   0
4    0   6   0   0   0   1
5    0   5   0   0   0   0
6    0   6   0   0   0   0
7    0   5   0   0   0   0
8    0   2   1   4   1   0
9    0   3   0   0   1   3
10   2   2   0   0   0   1
11   2   2   0   3   0   0
12   3   2   0   1   0   2
13   2   2   0   2   0   0
14   3   2   1   2   0   0
15   0   0   0   4   0   0

 [*,2,2,*] (tr)
:    2   6   7   8  14    :=
1    0   1   0   0   0
2    0   4   0   0   0
3    0   4   0   0   0
4    0   4   0   0   0
5    0   4   2   0   0
6    0   4   2   0   0
7    0   3   1   0   0
8    1   1   2   0   0
9    3   3   1   0   0
10   3   3   1   0   0
11   2   3   1   3   1
12   0   6   1   0   0
13   2   6   0   1   0
14   0   6   0   0   0
15   0   4   0   0   0

 [*,2,3,*] (tr)
:    2   6   7  10    :=
1    0   4   0   0
2    1   4   0   0
3    0   4   0   0
4    1   4   1   0
5    0   3   2   0
6    0   3   2   0
7    0   5   0   0
8    0   5   1   1
9    0   5   0   0
10   3   5   0   1
11   4   0   0   1
12   5   1   0   0
13   5   1   0   0
14   4   1   0   1
15   2   1   0   1

 [*,2,4,*] (tr)
:    2   6   7   8  10  14    :=
1    0   4   0   0   0   0
2    0   4   2   0   0   0
3    1   4   2   0   0   0
4    1   4   2   0   0   0
5    0   4   2   0   0   0
6    0   4   2   0   0   0
7    0   3   0   4   0   1
8    0   3   0   0   0   2
9    0   2   2   4   0   0
10   0   5   1   0   0   0
11   0   3   1   4   0   0
12   2   3   2   0   0   0
13   1   3   2   4   0   0
14   2   3   2   2   1   0
15   0   3   0   0   1   0

 [*,2,5,*] (tr)
:    2   6   7   8  14    :=
1    0   2   0   0   0
2    0   3   0   4   0
3    0   3   0   2   0
4    0   4   2   1   0
5    0   4   0   1   0
6    0   4   0   1   0
7    0   3   1   2   0
8    0   2   0   2   2
9    0   2   1   3   0
10   3   1   0   0   2
11   1   6   0   0   1
12   0   7   2   0   0
13   4   6   1   0   1
14   3   6   0   0   0
15   2   1   0   0   0

 [*,2,6,*] (tr)
:    2   6    7  10  14    :=
1    0    1   1   1   1
2    0    2   2   1   0
3    1    2   2   0   1
4    2    3   0   0   0
5    0    3   0   0   3
6    3    3   0   0   1
7    3    4   0   0   2
8    0    3   2   0   2
9    0    3   1   0   2
10   1    7   1   0   2
11   1   10   1   0   0
12   0   11   0   0   0
13   0    9   0   0   0
14   0    7   0   0   0
15   0    4   0   0   0

 [*,2,7,*] (tr)
:    2   6   7   8  10  14    :=
1    0   2   0   0   0   0
2    0   3   0   0   0   0
3    0   3   1   0   0   0
4    2   7   0   0   0   0
5    1   9   0   2   0   0
6    2   8   0   0   1   0
7    1   7   1   0   0   2
8    0   3   1   1   1   2
9    1   5   2   0   0   1
10   1   7   0   4   0   3
11   0   5   1   2   0   3
12   4   5   0   1   0   3
13   2   3   0   0   0   1
14   0   3   0   0   0   3
15   0   2   0   0   0   0

 [*,3,1,*] (tr)
:    3   7  10  11  15    :=
1    0   0   0   2   0
2    0   0   1   3   0
3    0   0   0   4   0
4    0   0   1   4   0
5    0   1   1   4   1
6    0   1   1   4   0
7    2   2   1   2   0
8    3   1   0   1   0
9    3   2   0   1   1
10   3   2   0   1   0
11   1   1   0   3   0
12   1   1   0   7   0
13   1   1   0   7   0
14   1   0   0   7   0
15   0   0   0   4   0

 [*,3,2,*] (tr)
:    3   7  11  15    :=
1    0   0   2   1
2    0   0   4   0
3    0   1   4   1
4    1   1   4   0
5    1   0   4   1
6    1   0   4   0
7    1   1   4   0
8    4   0   2   0
9    5   0   2   0
10   2   0   4   0
11   1   1   6   0
12   1   1   6   0
13   2   1   6   1
14   2   1   6   1
15   0   0   2   0

 [*,3,3,*] (tr)
:    3   7  10  11  15    :=
1    2   2   0   0   0
2    2   2   0   0   0
3    2   2   0   0   1
4    2   1   0   0   1
5    3   0   0   1   1
6    2   0   0   2   1
7    1   1   0   2   1
8    1   0   0   4   1
9    1   0   1   3   0
10   1   0   0   7   0
11   0   0   0   7   0
12   0   0   1   6   0
13   0   0   1   6   0
14   0   0   0   5   0
15   0   0   0   5   0

 [*,3,4,*] (tr)
:    3   7  10  11  15    :=
1    0   0   0   3   1
2    0   0   0   4   1
3    1   0   0   5   0
4    3   0   0   5   0
5    1   0   0   4   0
6    1   0   0   5   0
7    3   3   0   3   0
8    0   2   1   3   0
9    2   0   1   3   0
10   1   0   1   5   0
11   0   1   1   7   0
12   1   0   1   7   0
13   1   0   1   7   0
14   0   0   0   7   0
15   0   0   0   4   0

 [*,3,5,*] (tr)
:    3   7  11  15    :=
1    0   0   4   0
2    0   0   4   0
3    1   2   5   0
4    1   0   5   0
5    4   2   1   0
6    3   2   1   0
7    4   1   1   0
8    4   3   1   0
9    4   1   1   0
10   5   2   1   0
11   5   2   0   1
12   5   0   3   1
13   2   1   3   1
14   3   2   3   1
15   0   1   3   0

 [*,3,6,*] (tr)
:    3   7  10  11  15    :=
1    0   0   0   2   1
2    0   0   0   3   0
3    0   0   1   4   1
4    0   2   1   4   0
5    2   2   1   2   0
6    1   2   1   2   1
7    0   2   1   4   1
8    3   0   1   3   0
9    4   0   0   6   0
10   3   0   0   6   1
11   3   0   0   5   1
12   3   1   0   7   0
13   4   1   0   5   0
14   2   0   0   5   0
15   2   0   0   2   0

 [*,3,7,*] (tr)
:    3   7  10  11  15    :=
1    1   0   0   0   1
2    1   1   1   0   1
3    0   0   1   2   0
4    0   1   1   2   2
5    2   3   1   4   1
6    3   3   0   4   1
7    4   2   1   2   1
8    3   2   0   2   0
9    5   1   1   5   0
10   0   3   0   7   0
11   0   2   0   9   0
12   0   2   0   9   0
13   1   0   0   8   0
14   1   0   0   8   0
15   0   0   0   2   0

 [*,4,1,*] (tr)
:    4   8  14  15  16    :=
1    0   0   0   0   2
2    1   0   0   0   3
3    1   0   0   0   3
4    2   0   0   1   3
5    1   0   1   0   3
6    1   0   1   1   3
7    1   0   2   1   3
8    0   0   2   1   4
9    0   4   0   0   2
10   0   4   2   0   1
11   0   1   3   0   1
12   0   3   0   0   4
13   0   2   2   0   4
14   0   2   2   0   4
15   0   0   0   0   4

 [*,4,2,*] (tr)
:    4   8  14  15  16    :=
1    0   0   0   0   2
2    1   0   0   1   2
3    0   0   0   0   4
4    0   1   0   1   4
5    0   1   0   0   4
6    0   1   0   1   4
7    1   1   0   0   2
8    0   4   0   0   2
9    1   4   1   0   0
10   2   4   1   0   0
11   2   1   0   1   3
12   2   3   1   1   3
13   0   2   1   0   3
14   1   3   1   0   3
15   1   3   0   0   0

 [*,4,3,*] (tr)
:    4  15  16    :=
1    0   1   2
2    0   1   2
3    3   0   2
4    2   1   3
5    2   0   1
6    3   0   1
7    2   0   3
8    1   0   3
9    2   1   4
10   2   0   7
11   2   0   5
12   1   0   5
13   0   0   5
14   0   0   5
15   0   0   4

 [*,4,4,*] (tr)
:    4   8  14  15  16    :=
1    0   0   0   0   4
2    0   0   0   0   4
3    0   0   0   1   5
4    1   0   0   1   6
5    1   0   0   0   6
6    0   0   1   0   6
7    0   0   0   0   5
8    1   4   1   0   5
9    3   0   3   0   2
10   0   4   3   0   3
11   4   0   3   0   4
12   4   4   2   0   4
13   0   0   2   0   4
14   0   2   2   0   4
15   0   0   2   0   2

 [*,4,5,*] (tr)
:    4   8  14  16    :=
1    0   0   0   2
2    0   0   0   3
3    1   2   0   4
4    1   3   0   4
5    1   3   0   4
6    0   3   0   3
7    1   2   0   2
8    0   2   0   4
9    0   1   3   3
10   2   0   1   3
11   1   0   2   4
12   2   0   3   5
13   2   0   2   4
14   0   0   3   4
15   1   0   2   3

 [*,4,6,*] (tr)
:    4  14  15  16    :=
2    2   1   1   0
3    0   2   0   1
4    1   3   1   2
5    0   0   0   2
6    4   2   0   2
7    0   0   0   7
8    0   0   1   7
9    0   0   1   7
10   0   0   0   9
11   0   0   0   8
12   0   0   0   9
13   0   0   0   9
14   0   0   0   9
15   0   0   0   4

 [*,4,7,*] (tr)
:    4   8  14  15  16    :=
2    0   0   0   1   2
3    0   0   0   2   2
4    0   0   0   0   6
5    1   2   0   0   7
6    0   4   0   0   6
7    0   4   0   0   6
8    0   3   0   0   4
9    0   4   2   0   9
10   1   0   0   0   8
11   0   2   0   0   9
12   0   3   0   0   7
13   1   0   2   0   5
14   0   0   0   0   5
;

R [1,1,1,*,*]
 [1,1,2,*,*]
 [1,1,3,*,*]
:    1    :=
28   1
36   3

 [1,1,4,*,*]
:    1    :=
1    4

 [1,1,5,*,*]
:    1    :=
1    1
5    2
36   1

 [1,1,6,*,*]
:    1    :=
1    2
35   2

 [1,1,7,*,*]
:    1    :=
1    1
13   3

 [1,2,1,*,*]
:   16    :=
35   2

 [1,2,2,*,*]
:   16    :=
31   1
36   1

 [1,2,3,*,*]
:   16    :=
5    1
35   1

 [1,2,4,*,*]
 [1,2,5,*,*]
 [1,2,6,*,*]
:   16    :=
13   1
21   1

 [1,2,7,*,*]
:   16    :=
13   2

 [1,3,1,*,*]
 [1,3,2,*,*]
 [1,3,3,*,*]
 [1,3,4,*,*]
 [1,3,5,*,*]
 [1,3,6,*,*]
 [1,3,7,*,*]
 [1,4,1,*,*]
 [1,4,2,*,*]
 [1,4,3,*,*]
 [1,4,4,*,*]
 [1,4,5,*,*]
 [1,4,6,*,*]
 [1,4,7,*,*]
 [1,6,1,*,*]
 [1,6,2,*,*]
 [1,6,3,*,*]
:    1    :=
25   1
36   1

 [1,6,4,*,*]
:    1    :=
25   2

 [1,6,5,*,*]
:    1    :=
35   2

 [1,6,6,*,*]
:    1    :=
13   1
36   1

 [1,6,7,*,*]
:    1    :=
5    1
31   1

 [1,7,1,*,*]
 [1,7,2,*,*]
:    2    :=
35   1

 [1,7,3,*,*]
 [1,7,4,*,*]
:    2    :=
35   1

 [1,7,5,*,*]
:    2    :=
9    1

 [1,7,6,*,*]
:    2    :=
33   1

 [1,7,7,*,*]
:    2    :=
28   1

 [1,8,1,*,*]
 [1,8,2,*,*]
 [1,8,3,*,*]
 [1,8,4,*,*]
 [1,8,5,*,*]
 [1,8,6,*,*]
 [1,8,7,*,*]
 [1,10,1,*,*]
 [1,10,2,*,*]
 [1,10,3,*,*]
 [1,10,4,*,*]
 [1,10,5,*,*]
 [1,10,6,*,*]
 [1,10,7,*,*]
 [1,11,1,*,*]
:   10    :=
35   2
36   1

 [1,11,2,*,*]
 [1,11,3,*,*]
:   10    :=
17   1
28   1
36   1

 [1,11,4,*,*]
:   10    :=
5    1
36   2

 [1,11,5,*,*]
:   10    :=
36   3

 [1,11,6,*,*]
 [1,11,7,*,*]
:   10    :=
9    2
35   1

 [1,12,1,*,*]
 [1,12,2,*,*]
 [1,12,3,*,*]
 [1,12,4,*,*]
 [1,12,5,*,*]
 [1,12,6,*,*]
 [1,12,7,*,*]
 [1,14,1,*,*]
 [1,14,2,*,*]
 [1,14,3,*,*]
 [1,14,4,*,*]
 [1,14,5,*,*]
 [1,14,6,*,*]
 [1,14,7,*,*]
 [1,15,1,*,*]
 [1,15,2,*,*]
 [1,15,3,*,*]
 [1,15,4,*,*]
 [1,15,5,*,*]
 [1,15,6,*,*]
 [1,15,7,*,*]
 [1,16,1,*,*]
 [1,16,2,*,*]
 [1,16,3,*,*]
:    1    :=
25   2

 [1,16,4,*,*]
:    1    :=
35   2

 [1,16,5,*,*]
:    1    :=
5    1
31   1

 [1,16,6,*,*]
:    1    :=
25   2

 [1,16,7,*,*]
:    1    :=
31   1
35   1

 [2,1,1,*,*]
:   25    :=
5    1

 [2,1,2,*,*]
:   25    :=
9    1

 [2,1,3,*,*]
:   25    :=
36   1

 [2,1,4,*,*]
 [2,1,5,*,*]
:   25    :=
35   1

 [2,1,6,*,*]
:   25    :=
13   1

 [2,1,7,*,*]
:   25    :=
9    1

 [2,2,1,*,*]
:   27    :=
35   1

 [2,2,2,*,*]
 [2,2,3,*,*]
:   27    :=
35   1

 [2,2,4,*,*]
:   27    :=
5    1

 [2,2,5,*,*]
:   27    :=
36   1

 [2,2,6,*,*]
:   27    :=
31   1

 [2,2,7,*,*]
:   27    :=
35   1

 [2,3,1,*,*]
:   26    :=
25   2
28   1
36   1

 [2,3,2,*,*]
:   26    :=
13   1
28   3

 [2,3,3,*,*]
 [2,3,4,*,*]
:   26    :=
33   4

 [2,3,5,*,*]
:   26    :=
9    2
21   1
25   1

 [2,3,6,*,*]
:   26    :=
31   2
36   2

 [2,3,7,*,*]
:   26    :=
21   1
31   3

 [2,4,1,*,*]
 [2,4,2,*,*]
 [2,4,3,*,*]
 [2,4,4,*,*]
 [2,4,5,*,*]
 [2,4,6,*,*]
 [2,4,7,*,*]
 [2,6,1,*,*]
:   25    :=
1    1
13   3
21   1

 [2,6,2,*,*]
:   25    :=
5    1
36   4

 [2,6,3,*,*]
:   25    :=
1    4
25   1

 [2,6,4,*,*]
 [2,6,5,*,*]
:   25    :=
13   1
35   3
36   1

 [2,6,6,*,*]
:   25    :=
5    1
33   1
35   3

 [2,6,7,*,*]
:   25    :=
13   4
25   1

 [2,7,1,*,*]
 [2,7,2,*,*]
 [2,7,3,*,*]
 [2,7,4,*,*]
 [2,7,5,*,*]
 [2,7,6,*,*]
 [2,7,7,*,*]
 [2,8,1,*,*]
 [2,8,2,*,*]
 [2,8,3,*,*]
 [2,8,4,*,*]
 [2,8,5,*,*]
 [2,8,6,*,*]
 [2,8,7,*,*]
 [2,10,1,*,*]
 [2,10,2,*,*]
 [2,10,3,*,*]
 [2,10,4,*,*]
 [2,10,5,*,*]
 [2,10,6,*,*]
 [2,10,7,*,*]
 [2,11,1,*,*]
:   26    :=
9    1
36   3

 [2,11,2,*,*]
:   26    :=
25   1
35   3

 [2,11,3,*,*]
 [2,11,4,*,*]
:   26    :=
1    1
35   3

 [2,11,5,*,*]
:   26    :=
1    4

 [2,11,6,*,*]
:   26    :=
1    2
36   2

 [2,11,7,*,*]
:   26    :=
31   1
35   3

 [2,12,1,*,*]
 [2,12,2,*,*]
 [2,12,3,*,*]
 [2,12,4,*,*]
 [2,12,5,*,*]
 [2,12,6,*,*]
 [2,12,7,*,*]
 [2,14,1,*,*]
 [2,14,2,*,*]
 [2,14,3,*,*]
 [2,14,4,*,*]
 [2,14,5,*,*]
 [2,14,6,*,*]
 [2,14,7,*,*]
 [2,15,1,*,*]
 [2,15,2,*,*]
:   28    :=
35   1

 [2,15,3,*,*]
:   28    :=
1    1

 [2,15,4,*,*]
:   28    :=
1    1

 [2,15,5,*,*]
:   28    :=
35   1

 [2,15,6,*,*]
:   28    :=
1    1

 [2,15,7,*,*]
:   28    :=
1    1

 [2,16,1,*,*]
:   25    :=
36   3

 [2,16,2,*,*]
:   25    :=
35   3

 [2,16,3,*,*]
:   25    :=
1    2
13   1

 [2,16,4,*,*]
 [2,16,5,*,*]
:   25    :=
9    1
35   1
36   1

 [2,16,6,*,*]
:   25    :=
35   2
36   1

 [2,16,7,*,*]
:   25    :=
5    1
13   2

 [3,1,1,*,*]
:   16    :=
34   1

 [3,1,2,*,*]
:   16    :=
34   1

 [3,1,3,*,*]
:   16    :=
18   1

 [3,1,4,*,*]
 [3,1,5,*,*]
 [3,1,6,*,*]
:   16    :=
18   1

 [3,1,7,*,*]
:   16    :=
6    1

 [3,2,1,*,*]
:    8    :=
34   1

 [3,2,2,*,*]
 [3,2,3,*,*]
:    8    :=
32   1

 [3,2,4,*,*]
 [3,2,5,*,*]
:    8    :=
34   1

 [3,2,6,*,*]
:    8    :=
10   1

 [3,2,7,*,*]
:    8    :=
29   1

 [3,3,1,*,*]
 [3,3,2,*,*]
 [3,3,3,*,*]
:    1    :=
2    2
18   1

 [3,3,4,*,*]
:    1    :=
6    3

 [3,3,5,*,*]
:    1    :=
34   3

 [3,3,6,*,*]
:    1    :=
29   1
34   2

 [3,3,7,*,*]
:    1    :=
2    1
18   1
32   1

 [3,4,1,*,*]
:    9    :=
6    2

 [3,4,2,*,*]
 [3,4,3,*,*]
:    9    :=
2    2

 [3,4,4,*,*]
:    9    :=
32   2

 [3,4,5,*,*]
 [3,4,6,*,*]
:    9    :=
10   1
32   1

 [3,4,7,*,*]
:    9    :=
18   2

 [3,6,1,*,*]
 [3,6,2,*,*]
:    2    :=
22   1
32   2

 [3,6,3,*,*]
 [3,6,4,*,*]
:    2    :=
2    3

 [3,6,5,*,*]
:    2    :=
2    2
26   1

 [3,6,6,*,*]
:    2    :=
34   3

 [3,6,7,*,*]
:    2    :=
2    2
32   1

 [3,7,1,*,*]
 [3,7,2,*,*]
 [3,7,3,*,*]
 [3,7,4,*,*]
 [3,7,5,*,*]
 [3,7,6,*,*]
 [3,7,7,*,*]
 [3,8,1,*,*]
 [3,8,2,*,*]
 [3,8,3,*,*]
 [3,8,4,*,*]
 [3,8,5,*,*]
 [3,8,6,*,*]
 [3,8,7,*,*]
 [3,10,1,*,*]
 [3,10,2,*,*]
 [3,10,3,*,*]
 [3,10,4,*,*]
 [3,10,5,*,*]
 [3,10,6,*,*]
 [3,10,7,*,*]
 [3,11,1,*,*]
 [3,11,2,*,*]
:    4    :=
2    1
32   1
34   1

 [3,11,3,*,*]
:    4    :=
22   1
29   1
34   1

 [3,11,4,*,*]
:    4    :=
2    2
34   1

 [3,11,5,*,*]
 [3,11,6,*,*]
:    4    :=
6    1
32   2

 [3,11,7,*,*]
:    4    :=
18   1
34   2

 [3,12,1,*,*]
 [3,12,2,*,*]
 [3,12,3,*,*]
 [3,12,4,*,*]
 [3,12,5,*,*]
 [3,12,6,*,*]
 [3,12,7,*,*]
 [3,14,1,*,*]
 [3,14,2,*,*]
 [3,14,3,*,*]
 [3,14,4,*,*]
 [3,14,5,*,*]
 [3,14,6,*,*]
 [3,14,7,*,*]
 [3,15,1,*,*]
:   16    :=
14   1

 [3,15,2,*,*]
:   16    :=
2    1

 [3,15,3,*,*]
:   16    :=
14   1

 [3,15,4,*,*]
 [3,15,5,*,*]
 [3,15,6,*,*]
:   16    :=
22   1

 [3,15,7,*,*]
:   16    :=
6    1

 [3,16,1,*,*]
 [3,16,2,*,*]
:    4    :=
2    2
10   2

 [3,16,3,*,*]
:    4    :=
32   1
34   3

 [3,16,4,*,*]
:    4    :=
2    1
14   1
34   2

 [3,16,5,*,*]
 [3,16,6,*,*]
:    4    :=
14   1
34   3

 [3,16,7,*,*]
:    4    :=
32   4

 [4,1,1,*,*]
 [4,1,2,*,*]
:   28    :=
2    1

 [4,1,3,*,*]
:   28    :=
34   1

 [4,1,4,*,*]
:   28    :=
22   1

 [4,1,5,*,*]
:   28    :=
10   1

 [4,1,6,*,*]
:   28    :=
2    1

 [4,1,7,*,*]
:   28    :=
32   1

 [4,2,1,*,*]
:   23    :=
2    1
34   1

 [4,2,2,*,*]
:   23    :=
22   1
32   1

 [4,2,3,*,*]
:   23    :=
34   2

 [4,2,4,*,*]
:   23    :=
34   2

 [4,2,5,*,*]
:   23    :=
32   2

 [4,2,6,*,*]
 [4,2,7,*,*]
:   23    :=
34   2

 [4,3,1,*,*]
 [4,3,2,*,*]
 [4,3,3,*,*]
 [4,3,4,*,*]
 [4,3,5,*,*]
 [4,3,6,*,*]
 [4,3,7,*,*]
 [4,4,1,*,*]
 [4,4,2,*,*]
:   28    :=
6    1
32   1
34   1

 [4,4,3,*,*]
:   28    :=
10   1
22   1
32   1

 [4,4,4,*,*]
:   28    :=
14   1
34   2

 [4,4,5,*,*]
:   28    :=
10   1
34   2

 [4,4,6,*,*]
:   28    :=
2    2
22   1

 [4,4,7,*,*]
:   28    :=
32   3

 [4,6,1,*,*]
:   24    :=
2    2
32   1

 [4,6,2,*,*]
:   24    :=
2    1
6    2

 [4,6,3,*,*]
:   24    :=
18   3

 [4,6,4,*,*]
:   24    :=
34   3

 [4,6,5,*,*]
 [4,6,6,*,*]
:   24    :=
2    1
26   2

 [4,6,7,*,*]
:   24    :=
18   1
34   2

 [4,7,1,*,*]
:   23    :=
18   1

 [4,7,2,*,*]
:   23    :=
10   1

 [4,7,3,*,*]
:   23    :=
2    1

 [4,7,4,*,*]
:   23    :=
6    1

 [4,7,5,*,*]
:   23    :=
10   1

 [4,7,6,*,*]
 [4,7,7,*,*]
:   23    :=
6    1

 [4,8,1,*,*]
 [4,8,2,*,*]
 [4,8,3,*,*]
 [4,8,4,*,*]
 [4,8,5,*,*]
 [4,8,6,*,*]
 [4,8,7,*,*]
 [4,10,1,*,*]
 [4,10,2,*,*]
 [4,10,3,*,*]
 [4,10,4,*,*]
 [4,10,5,*,*]
 [4,10,6,*,*]
 [4,10,7,*,*]
 [4,11,1,*,*]
:   24    :=
2    2
6    1

 [4,11,2,*,*]
:   24    :=
6    2
34   1

 [4,11,3,*,*]
:   24    :=
34   3

 [4,11,4,*,*]
:   24    :=
22   2
34   1

 [4,11,5,*,*]
 [4,11,6,*,*]
:   24    :=
26   2
32   1

 [4,11,7,*,*]
:   24    :=
18   1
32   2

 [4,12,1,*,*]
 [4,12,2,*,*]
 [4,12,3,*,*]
 [4,12,4,*,*]
 [4,12,5,*,*]
 [4,12,6,*,*]
 [4,12,7,*,*]
 [4,14,1,*,*]
:   26    :=
32   1

 [4,14,2,*,*]
:   26    :=
32   1

 [4,14,3,*,*]
 [4,14,4,*,*]
:   26    :=
22   1

 [4,14,5,*,*]
:   26    :=
32   1

 [4,14,6,*,*]
:   26    :=
2    1

 [4,14,7,*,*]
:   26    :=
32   1

 [4,15,1,*,*]
 [4,15,2,*,*]
 [4,15,3,*,*]
 [4,15,4,*,*]
 [4,15,5,*,*]
 [4,15,6,*,*]
 [4,15,7,*,*]
 [4,16,1,*,*]
 [4,16,2,*,*]
 [4,16,3,*,*]
 [4,16,4,*,*]
 [4,16,5,*,*]
 [4,16,6,*,*]
 [4,16,7,*,*]
 [5,1,1,*,*]
:   14    :=
27   1

 [5,1,2,*,*]
:   14    :=
27   1

 [5,1,3,*,*]
 [5,1,4,*,*]
:   14    :=
11   1

 [5,1,5,*,*]
:   14    :=
30   1

 [5,1,6,*,*]
 [5,1,7,*,*]
:   14    :=
15   1

 [5,2,1,*,*]
 [5,2,2,*,*]
 [5,2,3,*,*]
 [5,2,4,*,*]
 [5,2,5,*,*]
 [5,2,6,*,*]
 [5,2,7,*,*]
 [5,3,1,*,*]
 [5,3,2,*,*]
:    2    :=
27   2

 [5,3,3,*,*]
 [5,3,4,*,*]
:    2    :=
19   2

 [5,3,5,*,*]
:    2    :=
19   2

 [5,3,6,*,*]
:    2    :=
19   2

 [5,3,7,*,*]
:    2    :=
11   1
27   1

 [5,4,1,*,*]
 [5,4,2,*,*]
 [5,4,3,*,*]
 [5,4,4,*,*]
 [5,4,5,*,*]
 [5,4,6,*,*]
 [5,4,7,*,*]
 [5,6,1,*,*]
:    7    :=
27   1

 [5,6,2,*,*]
 [5,6,3,*,*]
 [5,6,4,*,*]
:    7    :=
3    1

 [5,6,5,*,*]
:    7    :=
7    1

 [5,6,6,*,*]
:    7    :=
23   1

 [5,6,7,*,*]
:    7    :=
19   1

 [5,7,1,*,*]
 [5,7,2,*,*]
 [5,7,3,*,*]
:    1    :=
3    1

 [5,7,4,*,*]
:    1    :=
27   1

 [5,7,5,*,*]
:    1    :=
27   1

 [5,7,6,*,*]
:    1    :=
3    1

 [5,7,7,*,*]
:    1    :=
19   1

 [5,8,1,*,*]
:   14    :=
30   4

 [5,8,2,*,*]
:   14    :=
15   1
30   3

 [5,8,3,*,*]
 [5,8,4,*,*]
:   14    :=
27   4

 [5,8,5,*,*]
:   14    :=
7    4

 [5,8,6,*,*]
 [5,8,7,*,*]
:   14    :=
19   4

 [5,10,1,*,*]
:    9    :=
7    1

 [5,10,2,*,*]
 [5,10,3,*,*]
:    9    :=
30   1

 [5,10,4,*,*]
:    9    :=
30   1

 [5,10,5,*,*]
 [5,10,6,*,*]
:    9    :=
3    1

 [5,10,7,*,*]
:    9    :=
7    1

 [5,11,1,*,*]
:   15    :=
27   1

 [5,11,2,*,*]
:   15    :=
3    1

 [5,11,3,*,*]
 [5,11,4,*,*]
:   15    :=
11   1

 [5,11,5,*,*]
:   15    :=
11   1

 [5,11,6,*,*]
:   15    :=
11   1

 [5,11,7,*,*]
 [5,12,1,*,*]
 [5,12,2,*,*]
 [5,12,3,*,*]
 [5,12,4,*,*]
 [5,12,5,*,*]
 [5,12,6,*,*]
 [5,12,7,*,*]
 [5,14,1,*,*]
:    7    :=
15   1
27   1

 [5,14,2,*,*]
 [5,14,3,*,*]
 [5,14,4,*,*]
:    7    :=
30   2

 [5,14,5,*,*]
:    7    :=
30   2

 [5,14,6,*,*]
:    7    :=
11   2

 [5,14,7,*,*]
:    7    :=
27   2

 [5,15,1,*,*]
 [5,15,2,*,*]
 [5,15,3,*,*]
 [5,15,4,*,*]
 [5,15,5,*,*]
 [5,15,6,*,*]
 [5,15,7,*,*]
 [5,16,1,*,*]
:    7    :=
3    2
30   1

 [5,16,2,*,*]
 [5,16,3,*,*]
 [5,16,4,*,*]
:    7    :=
3    3

 [5,16,5,*,*]
:    7    :=
3    1
30   2

 [5,16,6,*,*]
:    7    :=
27   3

 [5,16,7,*,*]
:    7    :=
7    1
15   2

 [6,1,1,*,*]
:   23    :=
27   2

 [6,1,2,*,*]
:   23    :=
30   2

 [6,1,3,*,*]
:   23    :=
3    2

 [6,1,4,*,*]
:   23    :=
30   2

 [6,1,5,*,*]
:   23    :=
3    1
30   1

 [6,1,6,*,*]
 [6,1,7,*,*]
:   23    :=
3    1
19   1

 [6,2,1,*,*]
 [6,2,2,*,*]
 [6,2,3,*,*]
 [6,2,4,*,*]
 [6,2,5,*,*]
 [6,2,6,*,*]
 [6,2,7,*,*]
 [6,3,1,*,*]
 [6,3,2,*,*]
 [6,3,3,*,*]
 [6,3,4,*,*]
 [6,3,5,*,*]
 [6,3,6,*,*]
 [6,3,7,*,*]
 [6,4,1,*,*]
 [6,4,2,*,*]
 [6,4,3,*,*]
 [6,4,4,*,*]
 [6,4,5,*,*]
 [6,4,6,*,*]
 [6,4,7,*,*]
 [6,6,1,*,*]
 [6,6,2,*,*]
 [6,6,3,*,*]
 [6,6,4,*,*]
 [6,6,5,*,*]
 [6,6,6,*,*]
 [6,6,7,*,*]
 [6,7,1,*,*]
:   26    :=
27   1

 [6,7,2,*,*]
:   26    :=
19   1

 [6,7,3,*,*]
 [6,7,4,*,*]
:   26    :=
7    1

 [6,7,5,*,*]
:   26    :=
30   1

 [6,7,6,*,*]
:   26    :=
7    1

 [6,7,7,*,*]
:   26    :=
19   1

 [6,8,1,*,*]
 [6,8,2,*,*]
 [6,8,3,*,*]
 [6,8,4,*,*]
 [6,8,5,*,*]
 [6,8,6,*,*]
 [6,8,7,*,*]
 [6,10,1,*,*]
 [6,10,2,*,*]
 [6,10,3,*,*]
 [6,10,4,*,*]
 [6,10,5,*,*]
 [6,10,6,*,*]
 [6,10,7,*,*]
 [6,11,1,*,*]
 [6,11,2,*,*]
 [6,11,3,*,*]
 [6,11,4,*,*]
 [6,11,5,*,*]
 [6,11,6,*,*]
 [6,11,7,*,*]
 [6,12,1,*,*]
 [6,12,2,*,*]
 [6,12,3,*,*]
 [6,12,4,*,*]
 [6,12,5,*,*]
 [6,12,6,*,*]
 [6,12,7,*,*]
 [6,14,1,*,*]
 [6,14,2,*,*]
 [6,14,3,*,*]
 [6,14,4,*,*]
 [6,14,5,*,*]
 [6,14,6,*,*]
 [6,14,7,*,*]
 [6,15,1,*,*]
 [6,15,2,*,*]
 [6,15,3,*,*]
 [6,15,4,*,*]
 [6,15,5,*,*]
 [6,15,6,*,*]
 [6,15,7,*,*]
 [6,16,1,*,*]
:   27    :=
7    1

 [6,16,2,*,*]
 [6,16,3,*,*]
:   27    :=
30   1

 [6,16,4,*,*]
:   27    :=
11   1

 [6,16,5,*,*]
:   27    :=
3    1

 [6,16,6,*,*]
:   27    :=
11   1

 [6,16,7,*,*]
:   27    :=
19   1

 [7,1,1,*,*]
:   18    :=
4    1
12   2

 [7,1,2,*,*]
:   18    :=
4    3

 [7,1,3,*,*]
:   18    :=
16   2
20   1

 [7,1,4,*,*]
 [7,1,5,*,*]
:   18    :=
20   1
24   2

 [7,1,6,*,*]
:   18    :=
4    1
24   2

 [7,1,7,*,*]
 [7,2,1,*,*]
 [7,2,2,*,*]
 [7,2,3,*,*]
 [7,2,4,*,*]
 [7,2,5,*,*]
 [7,2,6,*,*]
 [7,2,7,*,*]
 [7,3,1,*,*]
 [7,3,2,*,*]
 [7,3,3,*,*]
 [7,3,4,*,*]
 [7,3,5,*,*]
 [7,3,6,*,*]
 [7,3,7,*,*]
 [7,4,1,*,*]
 [7,4,2,*,*]
 [7,4,3,*,*]
 [7,4,4,*,*]
 [7,4,5,*,*]
 [7,4,6,*,*]
 [7,4,7,*,*]
 [7,6,1,*,*]
 [7,6,2,*,*]
 [7,6,3,*,*]
 [7,6,4,*,*]
 [7,6,5,*,*]
 [7,6,6,*,*]
 [7,6,7,*,*]
 [7,7,1,*,*]
 [7,7,2,*,*]
 [7,7,3,*,*]
 [7,7,4,*,*]
 [7,7,5,*,*]
 [7,7,6,*,*]
 [7,7,7,*,*]
 [7,8,1,*,*]
 [7,8,2,*,*]
 [7,8,3,*,*]
 [7,8,4,*,*]
 [7,8,5,*,*]
 [7,8,6,*,*]
 [7,8,7,*,*]
 [7,10,1,*,*]
 [7,10,2,*,*]
 [7,10,3,*,*]
 [7,10,4,*,*]
 [7,10,5,*,*]
 [7,10,6,*,*]
 [7,10,7,*,*]
 [7,11,1,*,*]
 [7,11,2,*,*]
 [7,11,3,*,*]
 [7,11,4,*,*]
 [7,11,5,*,*]
 [7,11,6,*,*]
 [7,11,7,*,*]
 [7,12,1,*,*]
 [7,12,2,*,*]
 [7,12,3,*,*]
 [7,12,4,*,*]
 [7,12,5,*,*]
 [7,12,6,*,*]
 [7,12,7,*,*]
 [7,14,1,*,*]
 [7,14,2,*,*]
 [7,14,3,*,*]
 [7,14,4,*,*]
 [7,14,5,*,*]
 [7,14,6,*,*]
 [7,14,7,*,*]
 [7,15,1,*,*]
 [7,15,2,*,*]
 [7,15,3,*,*]
 [7,15,4,*,*]
 [7,15,5,*,*]
 [7,15,6,*,*]
 [7,15,7,*,*]
 [7,16,1,*,*]
 [7,16,2,*,*]
 [7,16,3,*,*]
 [7,16,4,*,*]
 [7,16,5,*,*]
 [7,16,6,*,*]
 [7,16,7,*,*]
 [8,1,1,*,*]
 [8,1,2,*,*]
 [8,1,3,*,*]
 [8,1,4,*,*]
 [8,1,5,*,*]
 [8,1,6,*,*]
 [8,1,7,*,*]
 [8,2,1,*,*]
 [8,2,2,*,*]
 [8,2,3,*,*]
 [8,2,4,*,*]
 [8,2,5,*,*]
 [8,2,6,*,*]
 [8,2,7,*,*]
 [8,3,1,*,*]
 [8,3,2,*,*]
 [8,3,3,*,*]
 [8,3,4,*,*]
 [8,3,5,*,*]
 [8,3,6,*,*]
 [8,3,7,*,*]
 [8,4,1,*,*]
 [8,4,2,*,*]
 [8,4,3,*,*]
 [8,4,4,*,*]
 [8,4,5,*,*]
 [8,4,6,*,*]
 [8,4,7,*,*]
 [8,6,1,*,*]
 [8,6,2,*,*]
 [8,6,3,*,*]
 [8,6,4,*,*]
 [8,6,5,*,*]
 [8,6,6,*,*]
 [8,6,7,*,*]
 [8,7,1,*,*]
 [8,7,2,*,*]
 [8,7,3,*,*]
 [8,7,4,*,*]
 [8,7,5,*,*]
 [8,7,6,*,*]
 [8,7,7,*,*]
 [8,8,1,*,*]
 [8,8,2,*,*]
 [8,8,3,*,*]
 [8,8,4,*,*]
 [8,8,5,*,*]
 [8,8,6,*,*]
 [8,8,7,*,*]
 [8,10,1,*,*]
 [8,10,2,*,*]
 [8,10,3,*,*]
 [8,10,4,*,*]
 [8,10,5,*,*]
 [8,10,6,*,*]
 [8,10,7,*,*]
 [8,11,1,*,*]
 [8,11,2,*,*]
 [8,11,3,*,*]
 [8,11,4,*,*]
 [8,11,5,*,*]
 [8,11,6,*,*]
 [8,11,7,*,*]
 [8,12,1,*,*]
 [8,12,2,*,*]
 [8,12,3,*,*]
 [8,12,4,*,*]
 [8,12,5,*,*]
 [8,12,6,*,*]
 [8,12,7,*,*]
 [8,14,1,*,*]
 [8,14,2,*,*]
 [8,14,3,*,*]
 [8,14,4,*,*]
 [8,14,5,*,*]
 [8,14,6,*,*]
 [8,14,7,*,*]
 [8,15,1,*,*]
 [8,15,2,*,*]
 [8,15,3,*,*]
 [8,15,4,*,*]
 [8,15,5,*,*]
 [8,15,6,*,*]
 [8,15,7,*,*]
 [8,16,1,*,*]
 [8,16,2,*,*]
 [8,16,3,*,*]
 [8,16,4,*,*]
 [8,16,5,*,*]
 [8,16,6,*,*]
 [8,16,7,*,*];

SEC [1,*,*] (tr)
:    1   2   3   4   6   7   8  10  11  12  14  15  16    :=
1    1   0   1   1   1   0   0   0   0   0   0   0   1
2    0   0   0   0   0   1   0   0   0   0   0   1   0
6    0   0   0   0   0   0   1   0   0   0   0   0   0
9    0   0   0   0   0   0   0   0   0   0   1   0   0
10   0   0   0   0   0   0   0   0   1   0   0   0   0
11   0   0   0   0   0   0   0   0   0   1   0   0   0
13   0   0   0   0   0   0   0   1   0   0   0   0   0
16   0   1   0   0   0   0   0   0   0   0   0   0   0

 [2,*,*] (tr)
:    1   2   3   4   6   7   8  10  11  12  14  15  16    :=
22   0   0   0   0   0   0   1   1   0   0   1   0   0
25   1   0   0   1   1   1   0   0   0   0   0   0   1
26   0   0   1   0   0   0   0   0   1   0   0   0   0
27   0   1   0   0   0   0   0   0   0   1   0   0   0
28   0   0   0   0   0   0   0   0   0   0   0   1   0

 [3,*,*] (tr)
:    1   2   3   4   6   7   8  10  11  12  14  15  16    :=
1    0   0   1   0   0   1   0   1   0   0   0   0   0
2    0   0   0   0   1   0   0   0   0   0   0   0   0
3    0   0   0   0   0   0   1   0   0   0   0   0   0
4    0   0   0   0   0   0   0   0   1   0   0   0   1
5    0   0   0   0   0   0   0   0   0   0   1   0   0
8    0   1   0   0   0   0   0   0   0   0   0   0   0
9    0   0   0   1   0   0   0   0   0   0   0   0   0
16   1   0   0   0   0   0   0   0   0   0   0   1   0
21   0   0   0   0   0   0   0   0   0   1   0   0   0

 [4,*,*] (tr)
:    1   2   3   4   6   7   8  10  11  12  14  15  16    :=
22   0   0   0   0   0   0   0   1   0   1   0   1   0
23   0   1   1   0   0   1   1   0   0   0   0   0   0
24   0   0   0   0   1   0   0   0   1   0   0   0   0
26   0   0   0   0   0   0   0   0   0   0   1   0   0
28   1   0   0   1   0   0   0   0   0   0   0   0   1

 [5,*,*] (tr)
:    1   2   3   4   6   7   8  10  11  12  14  15  16    :=
1    0   0   0   1   0   1   0   0   0   0   0   1   0
2    0   1   1   0   0   0   0   0   0   0   0   0   0
3    0   0   0   0   0   0   0   0   0   1   0   0   0
7    0   0   0   0   1   0   0   0   0   0   1   0   1
9    0   0   0   0   0   0   0   1   0   0   0   0   0
14   1   0   0   0   0   0   1   0   0   0   0   0   0
15   0   0   0   0   0   0   0   0   1   0   0   0   0

 [6,*,*] (tr)
:    1   2   3   4   6   7   8  10  11  12  14  15  16    :=
22   0   1   1   1   1   0   1   1   1   1   1   1   0
23   1   0   0   0   0   0   0   0   0   0   0   0   0
26   0   0   0   0   0   1   0   0   0   0   0   0   0
27   0   0   0   0   0   0   0   0   0   0   0   0   1

 [7,*,*] (tr)
:    1   2   3   4   6   7   8  10  11  12  14  15  16    :=
1    0   1   1   1   1   1   1   1   1   1   1   1   1
18   1   0   0   0   0   0   0   0   0   0   0   0   0

 [8,*,*] (tr)
:    1   2   3   4   6   7   8  10  11  12  14  15  16    :=
22   1   1   1   1   1   1   1   1   1   1   1   1   1
;

Poli = 34
totales = 88

Faltantes = 115.2
sobrantes = 32.7
salario = 3294.12
servicio = 17.7674
capacitacion = 0.68

_solve_elapsed_time = 7212.3

_nvars = 743571
_ncons = 13349

solve_result_num = 422

ampl: 